scriptoriumadmin/zotero
1
0
Fork 0
mirror of https://github.com/zotero/zotero.git synced 2026-09-14 23:21:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Browser Toolbox -> Developer Toolbox

Browse source
This commit is contained in:
Abe Jellinek 2023-09-01 11:23:30 -04:00
parent 097869a230
commit 7ee3c424fc
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/standalone/standalone.js
View file

@ -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?)

2
chrome/content/zotero/zoteroPane.xhtml
View file

@ -684,7 +684,7 @@
label="&developer.label;">
<menupopup>
<menuitem id="menu_errorConsole" label="Error Console" oncommand="toJavaScriptConsole()"/>
<menuitem id="menu_browserToolbox" label="Browser Toolbox" oncommand="launchBrowserToolbox()"/>
<menuitem id="menu_developerToolbox" label="Developer Toolbox" oncommand="launchDeveloperToolbox()"/>
<menuitem id="menu_runJS" label="Run JavaScript" oncommand="openRunJSWindow()"/>
<menuitem id="style-editor-menu-item" label="Style Editor" oncommand="openStyleEditor()"/>
<menuitem id="scaffold-menu-item" label="Translator Editor" oncommand="openScaffold()"/>