mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2025-12-23 17:32:25 +01:00
Force redraw after scrolling until someone finds a better way to fix glitchiness.
--HG-- extra : rebase_source : cee0b4d704a2ac677f29ae16626547c14b813af2
This commit is contained in:
@@ -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();
|
||||
},
|
||||
|
||||
/**
|
||||
|
||||
Reference in New Issue
Block a user