Minor fixes

Author: BruceSherwood

ide/ide.js

@@ -1129,7 +1129,6 @@ $(function () {
             	} else {
 	            	page.find(".prog-datetime").text(date_to_string(progData.datetime))
 	                var header = parseVersionHeader( progData.source )
-                    console.log(1137, 'header', header)
 	                if (header.ok) {
 	                    haveScreenshot = progData.screenshot != ""
 	                    sendMessage(JSON.stringify({ program: header.source, version: header.version, lang: header.lang, unpackaged: header.unpackaged, autoscreenshot:isWritable && !haveScreenshot }))

lib/ace/ace.js

@@ -14623,10 +14623,10 @@ var WorkerClient = function(topLevelNamespaces, mod, classname) {
     this.callbacks = {};
 
     var _self = this;
-    this.$worker.onerror = function(e) {
-        window.console && console.log && console.log(e);
-        throw e;
-    };
+    // this.$worker.onerror = function(e) { // worker-javascript.js doesn't work, so this is commented out
+    //     window.console && console.log && console.log(e);
+    //     throw e;
+    // };
     this.$worker.onmessage = function(e) {
         var msg = e.data;
         switch(msg.type) {

lib/ace/mode-javascript.js

@@ -128,7 +128,9 @@ oop.inherits(Mode, TextMode);
     };
 
     this.createWorker = function(session) {
-        var worker = new WorkerClient(["ace"], "worker-javascript", "ace/mode/javascript_worker", "JavaScriptWorker");
+        // Coudn't get worker-javascript to work:
+        //var worker = new WorkerClient(["ace"], "worker-javascript", "ace/mode/javascript_worker", "JavaScriptWorker");
+        var worker = new WorkerClient(["ace"], "ace/mode/javascript_worker", "JavaScriptWorker");
         worker.attachToDocument(session.getDocument());
 
         worker.on("jslint", function(results) {