gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-21 17:27:59 +01:00
Code Issues Projects Releases Wiki Activity

Some small changes for the sake of plugins.

Browse Source
This commit is contained in:
Kris Maglione
2010-12-26 21:54:17 -05:00
parent 8c64d0ec44
commit 8a5eb69492
3 changed files with 40 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
common/content/buffer.js
View File

@@ -1217,6 +1217,13 @@ var Buffer = Module("buffer", {
return elem || doc.body || doc.documentElement;
},
scrollTo: function scrollTo(elem, left, top) {
if (left != null)
elem.scrollLeft = left;
if (top != null)
elem.scrollTop = top;
},
scrollVertical: function scrollVertical(elem, increment, number) {
elem = elem || Buffer.findScrollable(number, false);
let fontSize = parseInt(util.computedStyle(elem).fontSize);
@@ -1227,10 +1234,8 @@ var Buffer = Module("buffer", {
else
throw Error();
if (number < 0 ? elem.scrollTop > 0 : elem.scrollTop < elem.scrollHeight - elem.clientHeight)
elem.scrollTop += number * increment;
else
dactyl.beep();
dactyl.assert(number < 0 ? elem.scrollTop > 0 : elem.scrollTop < elem.scrollHeight - elem.clientHeight);
Buffer.scrollTo(elem, null, elem.scrollTop + number * increment);
},
scrollHorizontal: function scrollHorizontal(elem, increment, number) {
@@ -1243,21 +1248,19 @@ var Buffer = Module("buffer", {
else
throw Error();
if (number < 0 ? elem.scrollLeft > 0 : elem.scrollLeft < elem.scrollWidth - elem.clientWidth)
elem.scrollLeft += number * increment;
else
dactyl.beep();
dactyl.assert(number < 0 ? elem.scrollLeft > 0 : elem.scrollLeft < elem.scrollWidth - elem.clientWidth);
Buffer.scrollTo(elem, elem.scrollLeft + number * increment, null);
},
scrollToPercent: function scrollElemToPercent(elem, horizontal, vertical) {
elem = elem || Buffer.findScrollable(0, vertical == null);
marks.add("'", true);
if (horizontal != null)
elem.scrollLeft = (elem.scrollWidth - elem.clientWidth) * (horizontal / 100);
if (vertical != null)
elem.scrollTop = (elem.scrollHeight - elem.clientHeight) * (vertical / 100);
Buffer.scrollTo(elem,
horizontal == null ? null
: (elem.scrollWidth - elem.clientWidth) * (horizontal / 100),
vertical == null ? null
: (elem.scrollHeight - elem.clientHeight) * (vertical / 100));
},
openUploadPrompt: function openUploadPrompt(elem) {