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

Merge pull request #1178 from processing/autorefresh-tweaks

Browse source 
re #1177: increase autorefresh time period to 1000ms
This commit is contained in:
Cassie Tarakajian 2019-10-03 16:18:08 -04:00 committed by GitHub
commit 29ac16acfa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -134,7 +134,7 @@ class Editor extends React.Component {
this.props.clearConsole(); this.props.clearConsole();
this.props.startRefreshSketch(); this.props.startRefreshSketch();
} }
}, 400)); }, 1000));
this._cm.on('keyup', () => { this._cm.on('keyup', () => {
const temp = `line ${parseInt((this._cm.getCursor().line) + 1, 10)}`; const temp = `line ${parseInt((this._cm.getCursor().line) + 1, 10)}`;