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

make autorefresh time a little longer

Browse source
This commit is contained in:
Cassie Tarakajian 2016-10-06 15:48:45 -04:00
parent 58d0dba167
commit fe13349850
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.js
View file

@ -65,7 +65,7 @@ class Editor extends React.Component {
} }
}); });
this._cm.on('change', debounce(200, () => { this._cm.on('change', debounce(400, () => {
this.props.setUnsavedChanges(true); this.props.setUnsavedChanges(true);
this.props.updateFileContent(this.props.file.name, this._cm.getValue()); this.props.updateFileContent(this.props.file.name, this._cm.getValue());
if (this.props.autorefresh && this.props.isPlaying) { if (this.props.autorefresh && this.props.isPlaying) {