May 25, 2018 · Apr 23, 2018 · Apr 24, 2018 · Apr 25, 2018 · Apr 26, 2018 · Apr 27, 2018
diff --git a/packages/codemirror/src/editor.ts b/packages/codemirror/src/editor.ts

    // Handle initial values for text, mimetype, and selections.
    doc.setValue(model.value.text);
    this.clearHistory();
    this._onMimeTypeChanged();
    this._onCursorActivity();
    this._timer = window.setInterval(() => { this._checkSync(); }, 3000);
Original file line number	Diff line number	Diff line change
Expand Up		@@ -120,6 +120,7 @@ class CodeMirrorEditor implements CodeEditor.IEditor {

		// Handle initial values for text, mimetype, and selections.
		doc.setValue(model.value.text);
		this.clearHistory();
Copy link Member ian-r-roseMay 22, 2018 Choose a reason for hiding this comment The reason will be displayed to describe this comment to others.Learn more. I'm not sure why we shouldalways clear the history after setting the value. If I had an extension that programmatically set the value of an editor, I think as a user I might want to be able to undo that. Copy link ContributorAuthor jasongroutMay 23, 2018 Choose a reason for hiding this comment The reason will be displayed to describe this comment to others.Learn more. This is only clearing it in the constructor of the widget, not after every time the value is set. Copy link Member ian-r-roseMay 23, 2018 Choose a reason for hiding this comment The reason will be displayed to describe this comment to others.Learn more. Ah, right! My brain is playing tricks on me.
		this._onMimeTypeChanged();
		this._onCursorActivity();
		this._timer = window.setInterval(() => { this._checkSync(); }, 3000);
Expand Down