Merged pull request #223 from SRabbelier/tokenizer-reload.

Add onReloadTokenizer event and listener in editor_session
This commit is contained in:
Fabian Jakobs 2011-04-28 01:40:58 -07:00
commit f476ed4a39

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;