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

revert lint code (#151)

Browse source
This commit is contained in:
Mathura MG 2016-10-17 22:58:30 -04:00 committed by Cassie Tarakajian
parent 1dafe3a8e9
commit c6e1d1c906
1 changed files with 9 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -49,8 +49,7 @@ class Editor extends React.Component {
gutters: ['CodeMirror-lint-markers'], gutters: ['CodeMirror-lint-markers'],
keyMap: 'sublime', keyMap: 'sublime',
lint: { lint: {
onUpdateLinting: () => { onUpdateLinting: debounce(2000, (annotations) => {
debounce(2000, (annotations) => {
this.props.clearLintMessage(); this.props.clearLintMessage();
annotations.forEach((x) => { annotations.forEach((x) => {
if (x.from.line > -1) { if (x.from.line > -1) {
@ -60,8 +59,7 @@ class Editor extends React.Component {
if (this.props.lintMessages.length > 0 && this.props.lintWarning) { if (this.props.lintMessages.length > 0 && this.props.lintWarning) {
this.beep.play(); this.beep.play();
} }
}); })
}
} }
}); });