Index: Source/devtools/front_end/AdvancedSearchController.js |
diff --git a/Source/devtools/front_end/AdvancedSearchController.js b/Source/devtools/front_end/AdvancedSearchController.js |
index 22f500e60f90cab47ae9e9b86ba24cbbea149749..eab353657773954f468d3e71bc5c8cc07615fe66 100644 |
--- a/Source/devtools/front_end/AdvancedSearchController.js |
+++ b/Source/devtools/front_end/AdvancedSearchController.js |
@@ -514,6 +514,7 @@ WebInspector.FileBasedSearchResultsPane.prototype = { |
anchor.href = sanitizeHref(uiSourceCode.originURL()); |
anchor.uiSourceCode = uiSourceCode; |
anchor.lineNumber = lineNumber; |
+ anchor.silent = true; |
pfeldman
2013/04/27 08:05:45
Clicking a link does not result in focus gain? Tha
Dmitry Zvorygin
2013/04/29 16:02:35
Only if you click on link in advanced search panel
|
return anchor; |
}, |
@@ -609,6 +610,7 @@ WebInspector.FileBasedSearchResultsPane.prototype = { |
var fileTreeElement = showMoreMatchesElement.parent; |
fileTreeElement.removeChild(showMoreMatchesElement); |
this._appendSearchMatches(fileTreeElement, searchResult, startMatchIndex, searchResult.searchMatches.length); |
+ return true; |
lushnikov
2013/04/28 13:36:59
Could you please annotate return value?
Dmitry Zvorygin
2013/04/29 16:02:35
Done.
|
}, |
/** |