| Index: third_party/WebKit/Source/devtools/front_end/ui_lazy/FilteredListWidget.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui_lazy/FilteredListWidget.js b/third_party/WebKit/Source/devtools/front_end/ui_lazy/FilteredListWidget.js
|
| index d1e5bc9b2a668832100af07802cb28b8b31d2061..5b53b6fdd4d8de9fa5730cb2b8281268e42cc2f5 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui_lazy/FilteredListWidget.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui_lazy/FilteredListWidget.js
|
| @@ -90,6 +90,9 @@ WebInspector.FilteredListWidget.prototype = {
|
| return this._prompt.text().trim();
|
| },
|
|
|
| + /**
|
| + * @override
|
| + */
|
| willHide: function()
|
| {
|
| this._delegate.dispose();
|
|
|