| Index: third_party/WebKit/Source/devtools/front_end/sources/AdvancedSearchView.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/AdvancedSearchView.js b/third_party/WebKit/Source/devtools/front_end/sources/AdvancedSearchView.js
|
| index 22646f57fb32ab1e5ec6823a2035a9d0bbbf6c34..0f04cbeddee10fb45da76904a4f44efecf23f573 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/AdvancedSearchView.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/AdvancedSearchView.js
|
| @@ -84,6 +84,9 @@ WebInspector.AdvancedSearchView.prototype = {
|
| this._startIndexing();
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| wasShown: function()
|
| {
|
| if (this._focusOnShow) {
|
| @@ -285,12 +288,18 @@ WebInspector.AdvancedSearchView.prototype = {
|
| this._searchMessageElement.textContent = finished ? WebInspector.UIString("Search finished.") : WebInspector.UIString("Search interrupted.");
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| focus: function()
|
| {
|
| this._search.focus();
|
| this._search.select();
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| willHide: function()
|
| {
|
| this._stopSearch();
|
|
|