| Index: third_party/WebKit/Source/devtools/front_end/quick_open/FilteredListWidget.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/quick_open/FilteredListWidget.js b/third_party/WebKit/Source/devtools/front_end/quick_open/FilteredListWidget.js
|
| index 86152f7fd21913b9578618009deadef49a819e01..62ae32fff3658eb64db47bb67e74cde4bc50e8cf 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/quick_open/FilteredListWidget.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/quick_open/FilteredListWidget.js
|
| @@ -150,7 +150,7 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| }
|
|
|
| _attachProvider() {
|
| - this._list.replaceAllItems([]);
|
| + this._list.source().replaceAllItems([]);
|
| this._list.invalidateItemHeight();
|
| if (this._provider) {
|
| this._provider.setRefreshCallback(this._itemsLoaded.bind(this, this._provider));
|
| @@ -433,7 +433,7 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| filteredItems = [].concat(bestItems, overflowItems, filteredItems);
|
| this._updateNotFoundMessage(!!filteredItems.length);
|
| var oldHeight = this._list.element.offsetHeight;
|
| - this._list.replaceAllItems(filteredItems);
|
| + this._list.source().replaceAllItems(filteredItems);
|
| if (filteredItems.length)
|
| this._list.selectItem(filteredItems[0]);
|
| if (this._list.element.offsetHeight !== oldHeight)
|
|
|