diff --git a/chrome/content/zotero/preferences/preferences_advanced.js b/chrome/content/zotero/preferences/preferences_advanced.js index e66fce21c2..4e7d507bcc 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.js +++ b/chrome/content/zotero/preferences/preferences_advanced.js @@ -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; diff --git a/chrome/content/zotero/preferences/preferences_advanced.xul b/chrome/content/zotero/preferences/preferences_advanced.xul index 3c0070a32d..05ff72d9d8 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.xul +++ b/chrome/content/zotero/preferences/preferences_advanced.xul @@ -39,7 +39,6 @@ - @@ -136,14 +135,6 @@ - - - -