diff --git a/chrome/content/zotero/preferences/preferences_advanced.js b/chrome/content/zotero/preferences/preferences_advanced.js index 71d09c17d..0a246bc95 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.js +++ b/chrome/content/zotero/preferences/preferences_advanced.js @@ -298,6 +298,12 @@ Zotero_Preferences.Advanced = { var currentDir = Zotero.DataDirectory.dir; var defaultDataDir = Zotero.DataDirectory.defaultDir; + if (Zotero.forceDataDir) { + document.getElementById('command-line-data-dir-path').textContent = currentDir; + document.getElementById('command-line-data-dir').hidden = false; + document.getElementById('data-dir').hidden = true; + } + // Change "Use profile directory" label to home directory location unless using profile dir if (useDataDir || currentDir == defaultDataDir) { document.getElementById('default-data-dir').setAttribute( diff --git a/chrome/content/zotero/preferences/preferences_advanced.xul b/chrome/content/zotero/preferences/preferences_advanced.xul index 3f014e517..e77706daa 100644 --- a/chrome/content/zotero/preferences/preferences_advanced.xul +++ b/chrome/content/zotero/preferences/preferences_advanced.xul @@ -184,6 +184,11 @@ + +