From 40299a28e3df28d10db8b08f35e0a131bfea006c Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 19 Apr 2010 17:51:37 +0200
Subject: [PATCH] minor

---
 src/BackgroundTokenizer.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/BackgroundTokenizer.js b/src/BackgroundTokenizer.js
index 560d7a8b..06ed59ac 100644
--- a/src/BackgroundTokenizer.js
+++ b/src/BackgroundTokenizer.js
@@ -73,6 +73,7 @@ ace.BackgroundTokenizer.prototype.start = function(startRow) {
 
     if (!this.running) {
         clearTimeout(this.running);
+        // pretty long delay to prevent the tokenizer from interfering with the user
         this.running = setTimeout(this._worker, 200);
     }
 };