DevTools extensions: forward keyboard shortcuts to DevTools

Source/devtools/front_end/inspector.js

 /*
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
@@ skipping 815 matching lines @@
             if (isValidZoomShortcut && !event.shiftKey) {
                 WebInspector._resetZoom();
                 event.consume(true);
             }
             break;
     }
 }
 
 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;
         }
         // If drawer is open with some view other than console then close it.
         if (!this._toggleConsoleButton.toggled && WebInspector.drawer.visible)
             this.closeViewInDrawer();
         else
             this._toggleConsoleButtonClicked();
     }
@@ skipping 247 matching lines @@
 
 /**
  * @return {string}
  */
 WebInspector.getSelectionForegroundColor = function()
 {
     return InspectorFrontendHost.getSelectionForegroundColor();
 }
 
 window.DEBUG = true;