| 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..e7deb52c65e67427d3c280b614b22274fb74b0e0 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
|
| @@ -34,8 +34,10 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| this._progressElement = this._bottomElementsContainer.createChild('div', 'filtered-list-widget-progress');
|
| this._progressBarElement = this._progressElement.createChild('div', 'filtered-list-widget-progress-bar');
|
|
|
| + /** @type {!UI.ListModel<number>} */
|
| + this._items = new UI.ListModel();
|
| /** @type {!UI.ListControl<number>} */
|
| - this._list = new UI.ListControl(this, UI.ListMode.EqualHeightItems);
|
| + this._list = new UI.ListControl(this._items, this, UI.ListMode.EqualHeightItems);
|
| this._itemElementsContainer = this._list.element;
|
| this._itemElementsContainer.classList.add('container');
|
| this._bottomElementsContainer.appendChild(this._itemElementsContainer);
|
| @@ -150,7 +152,7 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| }
|
|
|
| _attachProvider() {
|
| - this._list.replaceAllItems([]);
|
| + this._items.replaceAllItems([]);
|
| this._list.invalidateItemHeight();
|
| if (this._provider) {
|
| this._provider.setRefreshCallback(this._itemsLoaded.bind(this, this._provider));
|
| @@ -433,7 +435,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._items.replaceAllItems(filteredItems);
|
| if (filteredItems.length)
|
| this._list.selectItem(filteredItems[0]);
|
| if (this._list.element.offsetHeight !== oldHeight)
|
|
|