do not use id of placeholder text mode
This commit is contained in:
parent
83c37fd41e
commit
8551e0e043
1 changed files with 1 additions and 1 deletions
|
|
@ -949,7 +949,6 @@ var EditSession = function(text, mode) {
|
||||||
this.$onChangeMode = function(mode, $isPlaceholder) {
|
this.$onChangeMode = function(mode, $isPlaceholder) {
|
||||||
if (this.$mode === mode) return;
|
if (this.$mode === mode) return;
|
||||||
this.$mode = mode;
|
this.$mode = mode;
|
||||||
this.$modeId = mode.$id;
|
|
||||||
|
|
||||||
this.$stopWorker();
|
this.$stopWorker();
|
||||||
|
|
||||||
|
|
@ -980,6 +979,7 @@ var EditSession = function(text, mode) {
|
||||||
|
|
||||||
|
|
||||||
if (!$isPlaceholder) {
|
if (!$isPlaceholder) {
|
||||||
|
this.$modeId = mode.$id;
|
||||||
this.$setFolding(mode.foldingRules);
|
this.$setFolding(mode.foldingRules);
|
||||||
this._emit("changeMode");
|
this._emit("changeMode");
|
||||||
this.bgTokenizer.start(0);
|
this.bgTokenizer.start(0);
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue