| 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 44bb6449350ff80949141fc86297e0c0fb4f7d6f..b635adf9a4584b5458a104056eadcb5b5a6ae48e 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
|
| @@ -70,7 +70,7 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
|
|
| showAsDialog() {
|
| this._dialog = new UI.Dialog();
|
| - this._dialog.setMaxSize(new Size(504, 340));
|
| + this._dialog.setMaxSize(new UI.Size(504, 340));
|
| this._dialog.setPosition(undefined, 22);
|
| this.show(this._dialog.element);
|
| this._dialog.show();
|
|
|