diff --git a/chrome/content/zotero/preferences.js b/chrome/content/zotero/preferences.js index 862c4ae89..015ef60e2 100644 --- a/chrome/content/zotero/preferences.js +++ b/chrome/content/zotero/preferences.js @@ -24,19 +24,6 @@ var openURLServerField; var openURLVersionMenu; var zoteroPaneOnTopInitial; -/* - To add a new preference: - 1) modify defaults/preferences/zotero.js - 2) in this document: - a) add var above - b) add lines to init() function - c) add line to accept() function - 3) add a control to prefs.xul - 4) (Optional) To add an observer for a preference change, - add an appropriate case in the switch statement - in Zotero.Prefs.observe() -*/ - function init() { // Display the appropriate modifier keys for the platform diff --git a/chrome/content/zotero/preferences.xul b/chrome/content/zotero/preferences.xul index 6d456e4e0..89a1a0cb1 100644 --- a/chrome/content/zotero/preferences.xul +++ b/chrome/content/zotero/preferences.xul @@ -26,6 +26,17 @@ + @@ -36,6 +47,7 @@ + @@ -57,10 +69,9 @@ - - + diff --git a/chrome/locale/en-US/zotero/preferences.dtd b/chrome/locale/en-US/zotero/preferences.dtd index d4c6233a0..c6f7e50f9 100644 --- a/chrome/locale/en-US/zotero/preferences.dtd +++ b/chrome/locale/en-US/zotero/preferences.dtd @@ -10,6 +10,7 @@ +