re #1177: increase autorefresh time period to 1000ms

This commit is contained in:
Cassie Tarakajian 2019-10-03 16:16:54 -04:00
parent 61f1f039af
commit 3d9507b7ef
1 changed files with 1 additions and 1 deletions

View File

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