From 28887f1e6be1f906edac9cf5ae9cdc951adb1b69 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 12 Apr 2010 08:32:57 +0200
Subject: [PATCH] tweak background tokenizer settings

---
 BackgroundTokenizer.js | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/BackgroundTokenizer.js b/BackgroundTokenizer.js
index fe190a30..079e93ab 100644
--- a/BackgroundTokenizer.js
+++ b/BackgroundTokenizer.js
@@ -20,6 +20,8 @@ function BackgroundTokenizer(tokenizer, onUpdate, onComplete)
     var startLine = self.currentLine;
     var textLines = self.textLines;
 
+    var processedLines = 0;
+    
     while (self.currentLine < textLines.length)
     {
       var line = textLines[self.currentLine];
@@ -27,10 +29,12 @@ function BackgroundTokenizer(tokenizer, onUpdate, onComplete)
       var state = self.currentLine == 0 ? "start" : self.lines[self.currentLine-1].state;      
       self.lines[self.currentLine] = self.tokenizer.getLineTokens(line, state);
 
-      if ((new Date()-workerStart) > 80)
+      // only check every 30 lines
+      processedLines += 1;
+      if ((processedLines % 30 == 0) && (new Date()-workerStart) > 20)
       {
         self.onUpdate(startLine, self.currentLine);
-        return setTimeout(self._worker, 20);
+        return setTimeout(self._worker, 10);
       }
       
       self.currentLine++;