minor changes
This commit is contained in:
parent
7d65438a47
commit
cbe37ed2d5
2 changed files with 4 additions and 0 deletions
|
|
@ -293,6 +293,8 @@ var EditSession = function(text, mode) {
|
||||||
|
|
||||||
if (window.Worker)
|
if (window.Worker)
|
||||||
this.$worker = mode.createWorker(this);
|
this.$worker = mode.createWorker(this);
|
||||||
|
else
|
||||||
|
this.$worker = null;
|
||||||
|
|
||||||
this.$mode = mode;
|
this.$mode = mode;
|
||||||
this._dispatchEvent("changeMode");
|
this._dispatchEvent("changeMode");
|
||||||
|
|
|
||||||
|
|
@ -40,6 +40,8 @@
|
||||||
|
|
||||||
define(function(require, exports, module) {
|
define(function(require, exports, module) {
|
||||||
|
|
||||||
|
require("pilot/fixoldbrowsers");
|
||||||
|
|
||||||
var oop = require("pilot/oop");
|
var oop = require("pilot/oop");
|
||||||
var event = require("pilot/event");
|
var event = require("pilot/event");
|
||||||
var lang = require("pilot/lang");
|
var lang = require("pilot/lang");
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue