From 4da3b41d4caaa8e5b0830e43768c6723b9fd08b5 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Wed, 13 Jul 2011 16:08:24 -0400
Subject: [PATCH] Force redraw after scrolling until someone finds a better way
 to fix glitchiness.

--HG--
extra : rebase_source : cee0b4d704a2ac677f29ae16626547c14b813af2
---
 common/content/buffer.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/common/content/buffer.js b/common/content/buffer.js
index c1cd1b4c..5fb8fc12 100644
--- a/common/content/buffer.js
+++ b/common/content/buffer.js
@@ -1220,6 +1220,11 @@ var Buffer = Module("buffer", {
             elem.scrollLeft = left;
         if (top != null)
             elem.scrollTop = top;
+
+        if (util.haveGecko("4.0") && !util.haveGecko("8.0"))
+            elem.ownerDocument.defaultView
+                .QueryInterface(Ci.nsIInterfaceRequestor).getInterface(Ci.nsIDOMWindowUtils)
+                .redraw();
     },
 
     /**