| 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 64dfe06f40bb5362507218f75fd22316e4c52355..e55d2d8e3bed3806dfac20e08e00370515ad27cc 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
|
| @@ -36,7 +36,7 @@ UI.FilteredListWidget = class extends UI.VBox {
|
| this._progressBarElement = this._progressElement.createChild('div', 'filtered-list-widget-progress-bar');
|
|
|
| /** @type {!UI.ListControl<number>} */
|
| - this._list = new UI.ListControl(this);
|
| + this._list = new UI.ListControl(this, UI.ListMode.ViewportFixedItemsMeasured);
|
| this._itemElementsContainer = this._list.element;
|
| this._itemElementsContainer.classList.add('container');
|
| this._itemElementsContainer.addEventListener('click', this._onClick.bind(this), false);
|
| @@ -86,8 +86,14 @@ UI.FilteredListWidget = class extends UI.VBox {
|
| /**
|
| * @override
|
| */
|
| + wasShown() {
|
| + this._list.fixedHeightChanged();
|
| + }
|
| +
|
| + /**
|
| + * @override
|
| + */
|
| willHide() {
|
| - this._list.setHeightMode(UI.ListHeightMode.Measured);
|
| this._delegate.dispose();
|
| if (this._filterTimer)
|
| clearTimeout(this._filterTimer);
|
|
|