Add onReloadTokenizer event and listener in editor_session

This commit is contained in:
Sverre Rabbelier 2011-03-17 17:56:52 +01:00
commit f7f9e7c21a

View file

@ -377,6 +377,12 @@ var EditSession = function(text, mode) {
return this.$useWorker;
};
this.onReloadTokenizer = function(e) {
var rows = e.data;
this.bgTokenizer.start(rows.first);
this._dispatchEvent("tokenizerUpdate", e);
};
this.$mode = null;
this.setMode = function(mode) {
if (this.$mode === mode) return;
@ -391,6 +397,11 @@ var EditSession = function(text, mode) {
var tokenizer = mode.getTokenizer();
if(tokenizer.addEventListener !== undefined) {
var onReloadTokenizer = this.onReloadTokenizer.bind(this);
tokenizer.addEventListener("update", onReloadTokenizer);
}
if (!this.bgTokenizer) {
this.bgTokenizer = new BackgroundTokenizer(tokenizer);
var _self = this;