| 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 a69b9602d01330f91657cce6b502c1168db7000d..33118bcba024ba96c0c3c79fae8a9d68dec3362b 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
|
| @@ -26,7 +26,6 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| this._promptElement.setAttribute('contenteditable', 'plaintext-only');
|
| this._prompt = new UI.TextPrompt();
|
| this._prompt.initialize(() => Promise.resolve([]));
|
| - this._prompt.renderAsBlock();
|
| var promptProxy = this._prompt.attach(this._promptElement);
|
| promptProxy.addEventListener('input', this._onInput.bind(this), false);
|
| promptProxy.classList.add('filtered-list-widget-prompt-element');
|
| @@ -111,6 +110,13 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| return false;
|
| }
|
|
|
| + /**
|
| + * @param {string} placeholder
|
| + */
|
| + setPlaceholder(placeholder) {
|
| + this._prompt.setPlaceholder(placeholder);
|
| + }
|
| +
|
| showAsDialog() {
|
| this._dialog = new UI.Dialog();
|
| this._dialog.setMaxContentSize(new UI.Size(504, 340));
|
|
|