Update demo to integrate it with latest ace.

demo/boot.js

@@ -0,0 +1,26 @@
+define(function(require, exports, module) {
+
+require("pilot/fixoldbrowsers");
+require("pilot/plugin_manager");
+require("pilot/environment");
+require("./launcher");
+require("cockpit/index");
+
+require("pilot/index");
+require("ace/defaults");
+
+var plugins = [
+  "pilot/index",
+  "cockpit/index",
+  "ace/defaults",
+  "vice/vice",
+  "launcher"
+];
+
+var catalog = require("pilot/plugin_manager").catalog;
+catalog.registerPlugins(plugins).then(function() {
+  var env = require("pilot/environment").create();
+  catalog.startupPlugins({ env: env });
+});
+
+});

demo/launcher.js

@@ -13,7 +13,7 @@ exports.startup = function(data) {
     var UndoManager = require("ace/undomanager").UndoManager;
     var EditSession = require("ace/edit_session").EditSession;
 
-    var theme = require("ace/theme/twilight");
+    var theme = require("./theme");
     var session = new EditSession('');
     session.setUndoManager(new UndoManager());
 
@@ -40,5 +40,9 @@ exports.startup = function(data) {
     var JavaScriptMode = require("ace/mode/javascript").Mode;
     session.setValue(document.getElementById("source").value, "helpme.js");
     session.setMode(new JavaScriptMode());
+
+    env.editor.renderer.setHScrollBarAlwaysVisible(false);
+    env.editor.setShowInvisibles(true);
+    env.editor.renderer.setPadding(14);
   };
 });