From fe84e53cc88fd59c85cb2734d25f8fdf65168e59 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 15 Jul 2011 08:43:23 +0000
Subject: [PATCH] IE fix

---
 lib/ace/split.js | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/lib/ace/split.js b/lib/ace/split.js
index 4134cbd6..a6745002 100644
--- 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);