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

enhance cm (#547)

Browse source
This commit is contained in:
Mr.tang 2018-02-16 10:56:44 -06:00 committed by Cassie Tarakajian
parent 7c421d5e15
commit 0a1c8bb26f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -181,7 +181,7 @@ class Editor extends React.Component {
if (prevProps.consoleEvents !== this.props.consoleEvents) { if (prevProps.consoleEvents !== this.props.consoleEvents) {
this.props.showRuntimeErrorWarning(); this.props.showRuntimeErrorWarning();
} }
for (let i = 0; i < 1000; i += 1) { for (let i = 0; i < this._cm.lineCount(); i += 1) {
this._cm.removeLineClass(i, 'background', 'line-runtime-error'); this._cm.removeLineClass(i, 'background', 'line-runtime-error');
} }
if (this.props.runtimeErrorWarningVisible) { if (this.props.runtimeErrorWarningVisible) {