|
@@ -860,7 +860,7 @@ class CodeMirrorEditor implements CodeEditor.IEditor {
|
|
|
*/
|
|
|
private _scheduleCheck(): void {
|
|
|
window.clearTimeout(this._checkTimer);
|
|
|
- window.setTimeout(() => {
|
|
|
+ this._checkTimer = window.setTimeout(() => {
|
|
|
let doc =this._editor.getDoc();
|
|
|
if (doc.getValue() === this._model.value.text) {
|
|
|
this._handleSyncError();
|