Show More
@@ -35,7 +35,11 b' function($,' | |||||
35 | this.contents.get(this.file_path, {type: 'file', format: 'text'}) |
|
35 | this.contents.get(this.file_path, {type: 'file', format: 'text'}) | |
36 | .then(function(model) { |
|
36 | .then(function(model) { | |
37 | cm.setValue(model.content); |
|
37 | cm.setValue(model.content); | |
38 |
|
38 | |||
|
39 | // Setting the file's initial value creates a history entry, | |||
|
40 | // which we don't want. | |||
|
41 | cm.clearHistory(); | |||
|
42 | ||||
39 | // Find and load the highlighting mode |
|
43 | // Find and load the highlighting mode | |
40 | var modeinfo = CodeMirror.findModeByMIME(model.mimetype); |
|
44 | var modeinfo = CodeMirror.findModeByMIME(model.mimetype); | |
41 | if (modeinfo) { |
|
45 | if (modeinfo) { |
General Comments 0
You need to be logged in to leave comments.
Login now