From 1e4ee57d6306f3841cd0936e754dbfb004450193 Mon Sep 17 00:00:00 2001 From: Fabian Jakobs Date: Sat, 22 Jan 2011 21:24:05 +0100 Subject: [PATCH] add jslint example --- demo/startup.js | 36 ++++++++++++++++-- lib/ace/css/editor.css | 4 ++ lib/ace/worker/host.js | 22 +++++------ lib/ace/worker/jslint.js | 10 ++--- lib/ace/worker/mirror.js | 38 +++++++++++++++++++ .../{WorkerClient.js => worker_client.js} | 16 +++++--- 6 files changed, 101 insertions(+), 25 deletions(-) create mode 100644 lib/ace/worker/mirror.js rename lib/ace/worker/{WorkerClient.js => worker_client.js} (84%) diff --git a/demo/startup.js b/demo/startup.js index 419e2667..49581563 100644 --- a/demo/startup.js +++ b/demo/startup.js @@ -59,7 +59,7 @@ exports.launch = function(env) { var emacs = require("ace/keyboard/keybinding/emacs").Emacs; var HashHandler = require("ace/keyboard/hash_handler").HashHandler; - var WorkerClient = require("ace/worker/WorkerClient").WorkerClient; + var WorkerClient = require("ace/worker/worker_client").WorkerClient; var docs = {}; @@ -67,9 +67,37 @@ exports.launch = function(env) { docs.js.setMode(new JavaScriptMode()); docs.js.setUndoManager(new UndoManager()); - var worker = new WorkerClient("../..", ["ace", "pilot"], "ace/worker/demo", "Demo"); - worker.send("juhu"); - + 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) { + console.log("jslint", results); + + var rows = []; + for (var i=0; i