update dryice build script

build_support/boot.js

@@ -35,21 +35,37 @@
  *
  * ***** END LICENSE BLOCK ***** */
 
-var deps = [ "pilot/plugin_manager", "pilot/environment" ];
+var deps = [
+    "pilot/fixoldbrowsers",
+    "pilot/index",
+    "pilot/plugin_manager",
+    "pilot/environment",
+    "ace/editor",
+    "ace/edit_session",
+    "ace/virtual_renderer",
+    "ace/undomanager",
+    "ace/theme/textmate"
+];
 
 require(deps, function() {
     var catalog = require("pilot/plugin_manager").catalog;
     catalog.registerPlugins([ "pilot/index" ]);
     
+    var Dom = require("pilot/dom");
+    var Event = require("pilot/event");
     
-    var ace = {
+    var Editor = require("ace/editor").Editor;
+    var EditSession = require("ace/edit_session").EditSession;
+    var UndoManager = require("ace/undomanager").UndoManager;
+    var Renderer = require("ace/virtual_renderer").VirtualRenderer;
+    
+    window.ace = {
         edit: function(el) {
             if (typeof(el) == "string") {
                 el = document.getElementById(el);
             }
             
             var doc = new EditSession(Dom.getInnerText(el));
-            doc.setMode(new JavaScriptMode());
             doc.setUndoManager(new UndoManager());
             el.innerHTML = '';
 
@@ -69,4 +85,4 @@ require(deps, function() {
             return editor;
         }
     };
-}
+});