r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

change default indentation

Browse source
This commit is contained in:
mathuramg 2016-07-11 09:00:44 -04:00
parent 42d59d3fb3
commit 7f5d83a161
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
client/modules/IDE/components/Editor.js
View file

@ -18,7 +18,7 @@ class Editor extends React.Component {
}); });
this._cm.getWrapperElement().style['font-size'] = `${this.props.fontSize}px`; this._cm.getWrapperElement().style['font-size'] = `${this.props.fontSize}px`;
this._cm.setOption('indentWithTabs', this.props.isTabIndent); this._cm.setOption('indentWithTabs', this.props.isTabIndent);
this._cm.setOption('indentUnit', this.props.indentationAmount); this._cm.setOption('tabSize', this.props.indentationAmount);
} }
componentDidUpdate(prevProps) { componentDidUpdate(prevProps) {

2
client/modules/IDE/reducers/preferences.js
View file

@ -3,7 +3,7 @@ import * as ActionTypes from '../../../constants';
const initialState = { const initialState = {
isVisible: false, isVisible: false,
fontSize: 18, fontSize: 18,
indentationAmount: 4, indentationAmount: 2,
isTabIndent: true isTabIndent: true
}; };