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..16d03cc23fa6333d21ca67d8b67de716dc357d8c 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 |
@@ -250,6 +250,14 @@ QuickOpen.CommandMenuDelegate = class extends QuickOpen.FilteredListWidget.Deleg |
renderMonospace() { |
return false; |
} |
+ |
+ /** |
+ * @override |
+ * @return {string} |
+ */ |
+ notFoundText() { |
+ return Common.UIString('No commands found'); |
+ } |
}; |
QuickOpen.CommandMenuDelegate.MaterialPaletteColors = [ |