diff --git a/client/modules/IDE/components/Editor.js b/client/modules/IDE/components/Editor.js index 1e08d2b6..f5dfeff6 100644 --- a/client/modules/IDE/components/Editor.js +++ b/client/modules/IDE/components/Editor.js @@ -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.updateFileContent(this.props.file.name, this._cm.getValue()); if (this.props.autorefresh && this.props.isPlaying) {