From 66086627a7c276d2fa58c07bece011df3e876aa0 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Thu, 19 Oct 2006 22:33:22 +0000
Subject: [PATCH] Closes #372, Expose reportTranslationFailure in the
 preferences UI

---
 chrome/content/zotero/preferences.js       | 5 +++++
 chrome/content/zotero/preferences.xul      | 2 ++
 chrome/locale/en-US/zotero/preferences.dtd | 1 +
 3 files changed, 8 insertions(+)

diff --git a/chrome/content/zotero/preferences.js b/chrome/content/zotero/preferences.js
index 805149877..db484922d 100644
--- a/chrome/content/zotero/preferences.js
+++ b/chrome/content/zotero/preferences.js
@@ -21,6 +21,7 @@
 */
 
 var autoUpdateBox;
+var reportTranslationFailure;
 var positionMenu;
 var parseEndnoteBox;
 var automaticSnapshots;
@@ -48,6 +49,9 @@ function init()
 	autoUpdateBox = document.getElementById('autoUpdateBox');
 	autoUpdateBox.checked = Zotero.Prefs.get('automaticScraperUpdates');
 	
+	reportTranslationFailure = document.getElementById('reportTranslationFailure');
+	reportTranslationFailure.checked = Zotero.Prefs.get('reportTranslationFailure');
+	
 	positionMenu = document.getElementById('positionMenu');
 	positionMenu.selectedIndex = zoteroPaneOnTopInitial = Zotero.Prefs.get('zoteroPaneOnTop') ? 0 : 1;
 	
@@ -76,6 +80,7 @@ function init()
 function accept()
 {
 	Zotero.Prefs.set('automaticScraperUpdates', autoUpdateBox.checked);
+	Zotero.Prefs.set('reportTranslationFailure', reportTranslationFailure.checked);
 	Zotero.Prefs.set('zoteroPaneOnTop', positionMenu.selectedIndex == 0);
 	
 	if(Zotero.Prefs.get('parseEndNoteMIMETypes') != parseEndnoteBox.checked)
diff --git a/chrome/content/zotero/preferences.xul b/chrome/content/zotero/preferences.xul
index 71ec5fd19..7553ace5c 100644
--- a/chrome/content/zotero/preferences.xul
+++ b/chrome/content/zotero/preferences.xul
@@ -47,6 +47,8 @@
 
 <checkbox id="autoUpdateBox" label="&zotero.preferences.autoUpdate.label;"/>
 
+<checkbox id="reportTranslationFailure" label="&zotero.preferences.reportTranslationFailure.label;"/>
+
 <checkbox id="parseEndnoteBox" label="&zotero.preferences.parseEndnote.label;"/>
 
 <checkbox id="automaticSnapshots" label="&zotero.preferences.automaticSnapshots.label;"/>
diff --git a/chrome/locale/en-US/zotero/preferences.dtd b/chrome/locale/en-US/zotero/preferences.dtd
index 7744709a7..a80b8e35e 100644
--- a/chrome/locale/en-US/zotero/preferences.dtd
+++ b/chrome/locale/en-US/zotero/preferences.dtd
@@ -1,6 +1,7 @@
 <!ENTITY zotero.name					"Zotero">
 <!ENTITY zotero.preferences.title		"Zotero Preferences">
 <!ENTITY zotero.preferences.autoUpdate.label		"Automatically check for updated scrapers">
+<!ENTITY zotero.preferences.reportTranslationFailure.label	"Report broken site translators">
 <!ENTITY zotero.preferences.position.label			"Display Zotero">
 <!ENTITY zotero.preferences.position.above			"above">
 <!ENTITY zotero.preferences.position.below			"below">