gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-06 07:24:13 +01:00
Code Issues Projects Releases Wiki Activity

Quick fix for smooth scroll.

Browse Source 
Fixes issue #1048.
This commit is contained in:
Doug Kearns
2013-09-28 23:21:55 +10:00
parent fae3df30c0
commit b473571f81
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
common/modules/buffer.jsm
View File

@@ -1531,7 +1531,8 @@ var Buffer = Module("Buffer", {
* Like scrollTo, but scrolls more smoothly and does not update * Like scrollTo, but scrolls more smoothly and does not update
* marks. * marks.
*/ */
smoothScrollTo: function smoothScrollTo(node, x, y) { smoothScrollTo: let (timers = WeakMap())
function smoothScrollTo(node, x, y) {
let { options } = overlay.activeModules; let { options } = overlay.activeModules;
let time = options["scrolltime"]; let time = options["scrolltime"];
@@ -1539,8 +1540,8 @@ var Buffer = Module("Buffer", {
let elem = Buffer.Scrollable(node); let elem = Buffer.Scrollable(node);
if (node.dactylScrollTimer) if (timers.has(node))
node.dactylScrollTimer.cancel(); timers.get(node).cancel();
if (x == null) if (x == null)
x = elem.scrollLeft; x = elem.scrollLeft;
@@ -1561,7 +1562,7 @@ var Buffer = Module("Buffer", {
else { else {
elem.scrollLeft = startX + (x - startX) / steps * n; elem.scrollLeft = startX + (x - startX) / steps * n;
elem.scrollTop = startY + (y - startY) / steps * n; elem.scrollTop = startY + (y - startY) / steps * n;
node.dactylScrollTimer = util.timeout(next, time / steps); timers.set(node, util.timeout(next, time / steps));
} }
}).call(this); }).call(this);
}, },