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

Rename the misspelled util.interruptableRange to util.interruptibleRange.

Browse Source
This commit is contained in:
Doug Kearns
2009-01-01 21:28:24 +11:00
parent eeca611435
commit cb5fca695f
4 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
common/content/buffer.js
View File

@@ -197,7 +197,7 @@ function Buffer() //{{{
{ {
if (mappings.repeat) if (mappings.repeat)
{ {
for (let i in util.interruptableRange(0, Math.max(count, 1), 100)) for (let i in util.interruptibleRange(0, Math.max(count, 1), 100))
mappings.repeat(); mappings.repeat();
} }
}, },

2
common/content/hints.js
View File

@@ -209,7 +209,7 @@ function Hints() //{{{
let scrollY = doc.defaultView.scrollY; let scrollY = doc.defaultView.scrollY;
inner: inner:
for (let i in (util.interruptableRange(start, end + 1, 500))) for (let i in (util.interruptibleRange(start, end + 1, 500)))
{ {
let hint = pageHints[i]; let hint = pageHints[i];
[elem, text, span, imgspan] = hint; [elem, text, span, imgspan] = hint;

2
common/content/liberator.js
View File

@@ -449,7 +449,7 @@ const liberator = (function () //{{{
let each, eachUnits, totalUnits; let each, eachUnits, totalUnits;
let total = 0; let total = 0;
for (let i in util.interruptableRange(0, count, 500)) for (let i in util.interruptibleRange(0, count, 500))
{ {
let now = Date.now(); let now = Date.now();
method(); method();

2
common/content/util.js
View File

@@ -551,7 +551,7 @@ const util = { //{{{
* @param {number} time The time in milliseconds between thread yields. * @param {number} time The time in milliseconds between thread yields.
* @returns {Iterator(Object)} * @returns {Iterator(Object)}
*/ */
interruptableRange: function interruptableRange(start, end, time) interruptibleRange: function interruptibleRange(start, end, time)
{ {
let endTime = Date.now() + time; let endTime = Date.now() + time;
while (start < end) while (start < end)