IE fix

fjakobs · fjakobs · commit fe84e53cc88f · 2011-07-15T08:46:29.000Z
diff --git a/lib/ace/split.js b/lib/ace/split.js
@@ -39,6 +39,7 @@
 define(function(require, exports, module) {
 
 var oop = require("pilot/oop");
+var dom = require("pilot/dom");
 var lang = require("pilot/lang");
 var EventEmitter = require("pilot/event_emitter").EventEmitter;
 
@@ -71,12 +72,12 @@ var Split = function(container, theme, splits) {
     oop.implement(this, EventEmitter);
 
     this.$createEditor = function() {
-        var dom = document.createElement("div");
-        dom.className = this.$editorCSS;
-        dom.style = "position: absolute; top:0px; bottom:0px";
-        this.$container.appendChild(dom);
+        var el = document.createElement("div");
+        el.className = this.$editorCSS;
+        el.style.cssText = "position: absolute; top:0px; bottom:0px";
+        this.$container.appendChild(el);
         var session = new EditSession("");
-        var editor = new Editor(new Renderer(dom, this.$theme));
+        var editor = new Editor(new Renderer(el, this.$theme));
 
         editor.on("focus", function() {
             this._emit("focus", editor);
