gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-04 15:35:45 +01:00
Code Issues Projects Releases Wiki Activity

More finder tweaks.

Browse Source
This commit is contained in:
Kris Maglione
2010-08-26 22:53:39 -04:00
parent 04a1f6c49d
commit 2e830d380a
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
common/content/finder.js
View File

@@ -18,7 +18,8 @@ const RangeFinder = Module("rangefinder", {
let backwards = mode == modes.FIND_BACKWARD;
commandline.open(backwards ? "?" : "/", "", mode);
this.rangeFind = null;
if (this.rangeFind)
this.rangeFind.reset();
this.find("", backwards);
},
@@ -30,7 +31,6 @@ const RangeFinder = Module("rangefinder", {
let matchCase = !(options["ignorecase"] || options["smartcase"] && !/[A-Z]/.test(str));
let linksOnly = options["linksearch"];
// All this ado is ludicrous.
str = str.replace(/\\(.|$)/g, function (m, n1) {
if (n1 == "l")
linksOnly = true;
@@ -268,8 +268,6 @@ const RangeFind = Class("RangeFind", {
this.highlighted = null;
this.lastString = "";
this.forward = null;
this.found = false;
},
get selectedRange() {
@@ -283,6 +281,9 @@ const RangeFind = Class("RangeFind", {
this.lastRange = this.selectedRange;
this.range = this.findRange(this.startRange);
this.ranges.first = this.range;
this.ranges.forEach(function (range) range.save());
this.forward = null;
this.found = false;
},
sameDocument: function (r1, r2) r1 && r2 && r1.endContainer.ownerDocument == r2.endContainer.ownerDocument,