diff --git a/demo/startup.js b/demo/startup.js index 00e6d205..d46622bf 100644 --- a/demo/startup.js +++ b/demo/startup.js @@ -75,36 +75,6 @@ exports.launch = function(env) { docs.js.setMode(new JavaScriptMode()); docs.js.setUndoManager(new UndoManager()); - if (false && window.Worker) { - var worker = new WorkerClient("../..", ["ace", "pilot"], "ace/worker/mirror", "Mirror"); - worker.call("setValue", [docs.js.getValue()]); - - docs.js.getDocument().on("change", function(e) { - e.range = { - start: e.data.range.start, - end: e.data.range.end - }; - worker.emit("change", e); - }); - - worker.on("jslint", function(results) { - var errors = []; - for (var i=0; i - - - - - - - + + + + + +
+ + + - + + - + + - + + +
+ + + + + + + + + + + +