Index: Source/devtools/front_end/ui/UIUtils.js |
diff --git a/Source/devtools/front_end/ui/UIUtils.js b/Source/devtools/front_end/ui/UIUtils.js |
index 57f0d156edeffa10a54af1dcad0f1ab71c6233e4..b5151c724fda165ab204362114ced8c3924b4b41 100644 |
--- a/Source/devtools/front_end/ui/UIUtils.js |
+++ b/Source/devtools/front_end/ui/UIUtils.js |
@@ -714,11 +714,13 @@ WebInspector.highlightSearchResult = function(element, offset, length, domChange |
* @param {!Element} element |
* @param {!Array.<!WebInspector.SourceRange>} resultRanges |
* @param {!Array.<!Object>=} changes |
+ * @param {?Boolean=} isCurrent |
* @return {!Array.<!Element>} |
*/ |
-WebInspector.highlightSearchResults = function(element, resultRanges, changes) |
+WebInspector.highlightSearchResults = function(element, resultRanges, changes, isCurrent) |
{ |
- return WebInspector.highlightRangesWithStyleClass(element, resultRanges, "highlighted-search-result", changes); |
+ var style = isCurrent ? "current-search-result" : "highlighted-search-result"; |
+ return WebInspector.highlightRangesWithStyleClass(element, resultRanges, style, changes); |
} |
/** |