provide API for setting worker timeout

lib/ace/edit_session.js

@@ -850,6 +850,16 @@ var EditSession = function(text, mode) {
     **/
     this.getUseWorker = function() { return this.$useWorker; };
 
+    /**
+     * Sets the idle time (in milliseconds) before diagnostics are shown.
+     * No-op if no worker is currently attached.
+     * @param {Numeric} Delay in milliseconds.
+     */
+    this.setWorkerTimeout = function(delayMs) {
+        if (this.$worker)
+            this.$worker.setTimeout(delayMs);
+    };
+
     /**
     * Reloads all the tokens on the current session. This function calls [[BackgroundTokenizer.start `BackgroundTokenizer.start ()`]] to all the rows; it also emits the `'tokenizerUpdate'` event.
     **/

lib/ace/worker/mirror.js

@@ -13,9 +13,15 @@ var Mirror = exports.Mirror = function(sender) {
     var _self = this;
     sender.on("change", function(e) {
         doc.applyDeltas(e.data);
-        if (_self.$timeout)
-            return deferredUpdate.schedule(_self.$timeout);
-        _self.onUpdate();
+        if (_self.$timeout) {
+            deferredUpdate.cancel();
+            deferredUpdate.schedule(_self.$timeout);
+        } else {
+            _self.onUpdate();
+        }
+    });
+    sender.on("setTimeout", function(e) {
+        _self.setTimeout(e.data);
     });
 };
 

lib/ace/worker/worker_client.js

@@ -153,6 +153,10 @@ var WorkerClient = function(topLevelNamespaces, mod, classname, workerUrl) {
         }
     };
 
+    this.setTimeout = function(delayMs) {
+        this.emit("setTimeout", {data: delayMs});
+    };
+
     this.attachToDocument = function(doc) {
         if(this.$doc)
             this.terminate();