| 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);
|
| }
|
|
|
| /**
|
|
|