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

Fix deprecation warnings in buffer.js.

Browse Source 
--HG--
extra : rebase_source : a0dd9dfbb43d16a88eea7c3a07bbb3756cdbb1f2
This commit is contained in:
Kris Maglione
2011-01-09 17:42:31 -05:00
parent 12cde15d4b
commit 3eeee36708
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
common/content/buffer.js
View File

@@ -425,7 +425,7 @@ var Buffer = Module("buffer", {
* @property {number} The buffer's horizontal scroll percentile. * @property {number} The buffer's horizontal scroll percentile.
*/ */
get scrollXPercent() { get scrollXPercent() {
let elem = Buffer.findScrollable(0, true); let elem = buffer.findScrollable(0, true);
if (elem.scrollWidth - elem.clientWidth === 0) if (elem.scrollWidth - elem.clientWidth === 0)
return 0; return 0;
return elem.scrollLeft * 100 / (elem.scrollWidth - elem.clientWidth); return elem.scrollLeft * 100 / (elem.scrollWidth - elem.clientWidth);
@@ -435,7 +435,7 @@ var Buffer = Module("buffer", {
* @property {number} The buffer's vertical scroll percentile. * @property {number} The buffer's vertical scroll percentile.
*/ */
get scrollYPercent() { get scrollYPercent() {
let elem = Buffer.findScrollable(0, false); let elem = buffer.findScrollable(0, false);
if (elem.scrollHeight - elem.clientHeight === 0) if (elem.scrollHeight - elem.clientHeight === 0)
return 0; return 0;
return elem.scrollTop * 100 / (elem.scrollHeight - elem.clientHeight); return elem.scrollTop * 100 / (elem.scrollHeight - elem.clientHeight);
@@ -806,7 +806,7 @@ var Buffer = Module("buffer", {
elem = find(elem); elem = find(elem);
if (!(elem instanceof Element)) { if (!(elem instanceof Element)) {
let doc = Buffer.findScrollableWindow().document; let doc = buffer.findScrollableWindow().document;
elem = find(doc.body || doc.getElementsByTagName("body")[0] || elem = find(doc.body || doc.getElementsByTagName("body")[0] ||
doc.documentElement); doc.documentElement);
} }