DevTools extensions: forward keyboard shortcuts to DevTools

Source/devtools/front_end/inspector.js

Index: Source/devtools/front_end/inspector.js
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js
index 052fd927fb71a1255ff1bf79b60c5f41bd523620..bfe21125783aa7eaa313ae7f57f21c85a8c9747c 100644
--- a/Source/devtools/front_end/inspector.js
+++ b/Source/devtools/front_end/inspector.js
@@ -833,10 +833,12 @@ WebInspector.documentKeyDown = function(event)
 
 WebInspector.postDocumentKeyDown = function(event)
 {
+    var Esc = "U+001B";
+
     if (event.handled)
         return;
 
-    if (event.keyCode === WebInspector.KeyboardShortcut.Keys.Esc.code) {
+    if (event.keyIdentifier === Esc) {
         if (WebInspector.searchController.isSearchVisible()) {
             WebInspector.searchController.closeSearch();
             return;