new vimperator.sleep() method

chrome/content/vimperator/default.css

@@ -149,6 +149,7 @@ fieldset.paypal {
 	min-height: 18px !important;
     border: none !important;
     font-weight: bold;
+    font-family: monospace;
 }
 #vimperator-statusline {
     font-family: monospace;

chrome/content/vimperator/hints.js

@@ -200,6 +200,13 @@ function Hints() //{{{
 
             hintContainer.valid_hint_count++; // one more visible hint in this frame
             linkCount++;                      // and one more total hint
+
+            // process firefox event to keep the UI snappy
+            if (linkCount % 10 == 0)
+            {
+                Components.classes['@mozilla.org/thread-manager;1'].
+                    getService().mainThread.processNextEvent(false);
+            }
         }
 
         doc.coordsInvalidated = false;
@@ -455,6 +462,9 @@ function Hints() //{{{
         }
     };
 
+    this.showHintsBackground = function()
+    {
+    }
 
     this.reshowHints = function()
     {

chrome/content/vimperator/vimperator.js

@@ -760,7 +760,19 @@ const vimperator = (function() //{{{
             vimperator.events.destroy();
 
             window.dump("All vimperator modules destroyed\n");
+        },
+
+        sleep: function(ms)
+        {
+            var threadManager = Cc["@mozilla.org/thread-manager;1"].getService(Ci.nsIThreadManager); 
+            var mainThread = threadManager.mainThread; 
+
+            var then = new Date().getTime(), now = then; 
+            for (; now - then < ms; now = new Date().getTime()) { 
+                mainThread.processNextEvent(true); 
             } 
+        } 
+
     } //}}}
 })(); //}}}