Index: third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js b/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js |
index 51c8139ecd57d77b98cad3ca19cad8281566a800..6b519c2fd6cef47c9840586ae521672890ccfae8 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/KeyboardShortcut.js |
@@ -287,6 +287,3 @@ UI.KeyboardShortcut.KeyBindings = {}; |
/** @typedef {!{key: number, name: string}} */ |
UI.KeyboardShortcut.Descriptor; |
- |
- |
-UI.KeyboardShortcut.SelectAll = UI.KeyboardShortcut.makeKey('a', UI.KeyboardShortcut.Modifiers.CtrlOrMeta); |
luoe
2017/05/22 17:50:47
Added, no longer used:
https://chromium.googlesour
|