From 31f9378da55d7b8a70987f47ee7a3e600b346935 Mon Sep 17 00:00:00 2001 From: Dan Stillman Date: Sun, 26 Dec 2010 01:52:47 +0000 Subject: [PATCH] - Add trash auto-empty setting to visible prefs - Tweak Zotero version header tooltip --- chrome/content/zotero/preferences/preferences.xul | 7 +++++++ chrome/locale/en-US/zotero/preferences.dtd | 4 +++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/chrome/content/zotero/preferences/preferences.xul b/chrome/content/zotero/preferences/preferences.xul index d1c7b2610..06602aac5 100644 --- a/chrome/content/zotero/preferences/preferences.xul +++ b/chrome/content/zotero/preferences/preferences.xul @@ -58,6 +58,7 @@ To add a new preference: + @@ -140,6 +141,12 @@ To add a new preference: + + + diff --git a/chrome/locale/en-US/zotero/preferences.dtd b/chrome/locale/en-US/zotero/preferences.dtd index e982721de..bc511afa5 100644 --- a/chrome/locale/en-US/zotero/preferences.dtd +++ b/chrome/locale/en-US/zotero/preferences.dtd @@ -20,11 +20,13 @@ - + + +