mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Remove "Show developer tools" checkbox and show menu by default

Browse source 
Everybody's a developer now
This commit is contained in:
Dan Stillman 2019-08-02 06:14:50 -04:00
parent 2b6fb73b57
commit 7e7ec07170
5 changed files with 2 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
chrome/content/zotero/preferences/preferences_advanced.js
View file

@ -64,14 +64,6 @@ Zotero_Preferences.Advanced = {
}),
onDeveloperToolsToggle: function () {
setTimeout(function () {
var enabled = Zotero.Prefs.get('devtools.chrome.enabled', true);
window.opener.document.getElementById('developer-menu').hidden = !enabled;
});
},
migrateDataDirectory: Zotero.Promise.coroutine(function* () {
var currentDir = Zotero.DataDirectory.dir;
var defaultDir = Zotero.DataDirectory.defaultDir;

9
chrome/content/zotero/preferences/preferences_advanced.xul
View file

@ -39,7 +39,6 @@
<preferences>
<preference id="pref-automaticScraperUpdates" name="extensions.zotero.automaticScraperUpdates" type="bool"/>
<preference id="pref-reportTranslationFailure" name="extensions.zotero.reportTranslationFailure" type="bool"/>
<preference id="pref-developerTools" name="devtools.chrome.enabled" type="bool"/>
<preference id="pref-baseAttachmentPath" name="extensions.zotero.baseAttachmentPath" type="string"/>
<preference id="pref-useDataDir" name="extensions.zotero.useDataDir" type="bool"/>
@ -136,14 +135,6 @@
<groupbox id="zotero-prefpane-advanced-advancedConfiguration">
<caption label="&zotero.preferences.advanced.advancedConfiguration;"/>
<vbox>
<checkbox
label="Show developer tools"
preference="pref-developerTools"
oncommand="Zotero_Preferences.Advanced.onDeveloperToolsToggle()"
tooltiptext="Adds a Developer menu to the Tools menu"/>
</vbox>
<hbox id="zotero-prefpane-advanced-openbuttons" align="center" style="display: block">
<button id="config-editor"
label="&zotero.preferences.configEditor;"

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

@ -48,10 +48,6 @@ const ZoteroStandalone = new function() {
return Zotero.initializationPromise;
})
.then(async function () {
if (Zotero.Prefs.get('devtools.chrome.enabled', true)) {
document.getElementById('developer-menu').hidden = false;
}
document.getElementById('key_copyCitation')
.setAttribute('key', Zotero.Keys.getKeyForCommand('copySelectedItemCitationsToClipboard'));
document.getElementById('key_copyBibliography')

3
chrome/content/zotero/standalone/standalone.xul
View file

@ -198,8 +198,7 @@
<menuitem id="menu_addons" label="&addons.label;"
oncommand="Zotero.openInViewer('chrome://mozapps/content/extensions/extensions.xul', ZoteroStandalone.updateAddonsPane)"/>
<menu id="developer-menu"
label="Developer"
hidden="true">
label="&developer.label;">
<menupopup>
<menuitem id="menu_errorConsole" label="Error Console" oncommand="toJavaScriptConsole()"/>
<menuitem id="menu_runJS" label="Run JavaScript" oncommand="openRunJSWindow()"/>

1
chrome/locale/en-US/zotero/standalone.dtd
View file

@ -48,6 +48,7 @@
<!ENTITY installConnector.label "Install Browser Connector">
<!ENTITY installConnector.accesskey "C">
<!ENTITY addons.label "Add-ons">
<!ENTITY developer.label "Developer">
<!--WINDOW MENU-->
<!ENTITY minimizeWindow.key "m">