| Index: third_party/WebKit/Source/devtools/front_end/quick_open/CommandMenu.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/quick_open/CommandMenu.js b/third_party/WebKit/Source/devtools/front_end/quick_open/CommandMenu.js
|
| index 7a48ee5da8324c55c93cf04150317eb1cfbc254e..361ec4dfca15942e54a69ae9a7fa4a761003a4d4 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/quick_open/CommandMenu.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/quick_open/CommandMenu.js
|
| @@ -220,7 +220,7 @@ QuickOpen.CommandMenuDelegate = class extends QuickOpen.FilteredListWidget.Deleg
|
| tagElement.style.backgroundColor = QuickOpen.CommandMenuDelegate.MaterialPaletteColors[index];
|
| tagElement.textContent = command.category();
|
| titleElement.createTextChild(command.title());
|
| - this.highlightRanges(titleElement, query);
|
| + QuickOpen.FilteredListWidget.highlightRanges(titleElement, query, true);
|
| subtitleElement.textContent = command.shortcut();
|
| }
|
|
|
| @@ -239,14 +239,6 @@ QuickOpen.CommandMenuDelegate = class extends QuickOpen.FilteredListWidget.Deleg
|
| * @override
|
| * @return {boolean}
|
| */
|
| - caseSensitive() {
|
| - return false;
|
| - }
|
| -
|
| - /**
|
| - * @override
|
| - * @return {boolean}
|
| - */
|
| renderMonospace() {
|
| return false;
|
| }
|
|
|