From 2a65f1266f8625fcfe4d0e81fd80fa26c11a92cb Mon Sep 17 00:00:00 2001 From: Fabian Jakobs Date: Sat, 22 Jan 2011 23:58:03 +0100 Subject: [PATCH] update jslint demo --- demo/startup.js | 17 ++++++++++------- lib/ace/css/editor.css | 2 +- 2 files changed, 11 insertions(+), 8 deletions(-) diff --git a/demo/startup.js b/demo/startup.js index 49581563..5778e6a0 100644 --- a/demo/startup.js +++ b/demo/startup.js @@ -79,17 +79,20 @@ exports.launch = function(env) { }); worker.on("jslint", function(results) { - console.log("jslint", results); - - var rows = []; + var errors = []; for (var i=0; i