Index: Source/devtools/front_end/ui/KeyboardShortcut.js |
diff --git a/Source/devtools/front_end/ui/KeyboardShortcut.js b/Source/devtools/front_end/ui/KeyboardShortcut.js |
index dd849bddefc4361c267895172174ef4418a71bba..fa3c484367eae0da0b1510ba1254145aba4b5af3 100644 |
--- a/Source/devtools/front_end/ui/KeyboardShortcut.js |
+++ b/Source/devtools/front_end/ui/KeyboardShortcut.js |
@@ -292,7 +292,16 @@ WebInspector.KeyboardShortcut._modifiersToString = function(modifiers) |
[m.Shift, isMac ? "\u21e7" : "Shift\u200A+\u200A"], |
[m.Meta, isMac ? "\u2318" : "Win\u200A+\u200A"] |
]); |
- return [m.Ctrl, m.Alt, m.Shift, m.Meta].map(m => modifiers & m ? modifierNames.get(m) : "").join(""); |
+ return [m.Ctrl, m.Alt, m.Shift, m.Meta].map(mapModifiers).join(""); |
+ |
+ /** |
+ * @param {number} m |
+ * @return {string} |
+ */ |
+ function mapModifiers(m) |
+ { |
+ return modifiers & m ? /** @type {string} */ (modifierNames.get(m)) : ""; |
+ } |
}; |
WebInspector.KeyboardShortcut.SelectAll = WebInspector.KeyboardShortcut.makeKey("a", WebInspector.KeyboardShortcut.Modifiers.CtrlOrMeta); |