Bug 1385226 - Fix gcli Shift+F12 key shortcut. r=jdescottes draft
authorAlexandre Poirot <poirot.alex@gmail.com>
Fri, 28 Jul 2017 11:53:05 +0200
changeset 617316 84b600fa92c3663b8d38e0895ded99d1ee20b921
parent 617246 5845151f1a2cd00957fdd48e204542ccbdfaba1e
child 639791 ae0c9001ce51161dab44f17e16ac7d874c427fae
push id71026
push userbmo:poirot.alex@gmail.com
push dateFri, 28 Jul 2017 10:02:41 +0000
reviewersjdescottes
bugs1385226
milestone56.0a1
Bug 1385226 - Fix gcli Shift+F12 key shortcut. r=jdescottes MozReview-Commit-ID: Bcs14MEyHXF
devtools/client/framework/devtools-browser.js
--- a/devtools/client/framework/devtools-browser.js
+++ b/devtools/client/framework/devtools-browser.js
@@ -298,17 +298,17 @@ var gDevToolsBrowser = exports.gDevTools
     }
     // Otherwise implement all other key shortcuts individually here
     switch (key.id) {
       case "toggleToolbox":
       case "toggleToolboxF12":
         gDevToolsBrowser.toggleToolboxCommand(window.gBrowser);
         break;
       case "toggleToolbar":
-        window.DeveloperToolbar.focusToggle();
+        gDevToolsBrowser.getDeveloperToolbar(window).focusToggle();
         break;
       case "webide":
         gDevToolsBrowser.openWebIDE();
         break;
       case "browserToolbox":
         BrowserToolboxProcess.init();
         break;
       case "browserConsole":