| 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 be222d573b9dbcbb1037df31651fff56e955ac4f..0a2eb140680112c0c8c88624a7e1403629a6c4a9 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
|
| @@ -41,11 +41,6 @@ QuickOpen.FilteredListWidget = class extends UI.VBox {
|
| this._itemElementsContainer.classList.add('container');
|
| this._bottomElementsContainer.appendChild(this._itemElementsContainer);
|
|
|
| - if (delegate.renderMonospace()) {
|
| - this._list.element.classList.add('monospace');
|
| - this._promptElement.classList.add('monospace');
|
| - }
|
| -
|
| this._notFoundElement = this._bottomElementsContainer.createChild('div', 'not-found-text');
|
| this._notFoundElement.classList.add('hidden');
|
|
|
| @@ -503,13 +498,6 @@ QuickOpen.FilteredListWidget.Delegate = class {
|
| /**
|
| * @return {boolean}
|
| */
|
| - renderMonospace() {
|
| - return true;
|
| - }
|
| -
|
| - /**
|
| - * @return {boolean}
|
| - */
|
| renderAsTwoRows() {
|
| return false;
|
| }
|
|
|