diff --git a/chrome/content/zotero/preferences/preferences_advanced.js b/chrome/content/zotero/preferences/preferences_advanced.js index aa45d1f3e4..e66fce21c2 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.js +++ b/chrome/content/zotero/preferences/preferences_advanced.js @@ -32,8 +32,8 @@ Zotero_Preferences.Advanced = { init: function () { Zotero_Preferences.Keys.init(); - // Show Memory Info button if the Error Console menu option is enabled - if (Zotero.Prefs.get('devtools.errorconsole.enabled', true)) { + // Show Memory Info button + if (Zotero.Prefs.get('debug.memoryInfo')) { document.getElementById('memory-info').hidden = false; } @@ -64,6 +64,14 @@ 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; diff --git a/chrome/content/zotero/preferences/preferences_advanced.xul b/chrome/content/zotero/preferences/preferences_advanced.xul index 05ff72d9d8..3c0070a32d 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.xul +++ b/chrome/content/zotero/preferences/preferences_advanced.xul @@ -39,6 +39,7 @@ + @@ -135,6 +136,14 @@ + + + +