Bug 1385226 - Fix gcli Shift+F12 key shortcut. r=jdescottes
MozReview-Commit-ID: Bcs14MEyHXF
--- 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":