Stop trying to use workers and word highlighting.
This commit is contained in:
parent
1d05dc78be
commit
fbdfaaf0fc
2 changed files with 12 additions and 12 deletions
|
|
@ -344,7 +344,7 @@ var EditSession = function(text, mode) {
|
||||||
return this.doc.getNewLineMode();
|
return this.doc.getNewLineMode();
|
||||||
};
|
};
|
||||||
|
|
||||||
this.$useWorker = true;
|
this.$useWorker = false;
|
||||||
this.setUseWorker = function(useWorker) {
|
this.setUseWorker = function(useWorker) {
|
||||||
if (this.$useWorker == useWorker)
|
if (this.$useWorker == useWorker)
|
||||||
return;
|
return;
|
||||||
|
|
|
||||||
|
|
@ -529,7 +529,7 @@ var Editor =function(renderer, session) {
|
||||||
return this.$highlightActiveLine;
|
return this.$highlightActiveLine;
|
||||||
};
|
};
|
||||||
|
|
||||||
this.$highlightSelectedWord = true;
|
this.$highlightSelectedWord = false;
|
||||||
this.setHighlightSelectedWord = function(shouldHighlight) {
|
this.setHighlightSelectedWord = function(shouldHighlight) {
|
||||||
if (this.$highlightSelectedWord == shouldHighlight)
|
if (this.$highlightSelectedWord == shouldHighlight)
|
||||||
return;
|
return;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue