diff --git a/chrome/content/zotero/standalone/standalone.js b/chrome/content/zotero/standalone/standalone.js index ec1a2daf73..0d3677e356 100644 --- a/chrome/content/zotero/standalone/standalone.js +++ b/chrome/content/zotero/standalone/standalone.js @@ -961,7 +961,7 @@ function toJavaScriptConsole() { BrowserConsoleManager.openBrowserConsoleOrFocus(); } -function launchBrowserToolbox() { +function launchDeveloperToolbox() { const { BrowserToolboxLauncher } = ChromeUtils.import("resource://devtools/client/framework/browser-toolbox/Launcher.jsm"); // Don't launch if already open // (Can we focus the existing toolbox process?) diff --git a/chrome/content/zotero/zoteroPane.xhtml b/chrome/content/zotero/zoteroPane.xhtml index 232958adb7..b36f99a90f 100644 --- a/chrome/content/zotero/zoteroPane.xhtml +++ b/chrome/content/zotero/zoteroPane.xhtml @@ -684,7 +684,7 @@ label="&developer.label;"> - +