Closes #257 keep current match color when highlighting

Quicksaver · May 18, 2016 · 93dabc1 · 93dabc1
1 parent a9257a0
commit 93dabc1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/resource/modules/content/mFinder.jsm b/resource/modules/content/mFinder.jsm
@@ -1,4 +1,4 @@
-// VERSION 1.0.25
+// VERSION 1.0.26
 
 this.__defineGetter__('isPDFJS', function() { return Finder.isPDFJS; });
 
@@ -597,6 +597,7 @@ this.Finder = {
 				let curSel = controller.getSelection(Ci.nsISelectionController.SELECTION_NORMAL);
 				if(curSel.rangeCount == 1) {
 					controller.setDisplaySelection(Ci.nsISelectionController.SELECTION_ATTENTION);
+					controller.repaintSelection(Ci.nsISelectionController.SELECTION_NORMAL);
 				}
 			}
 		}