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; |
} |