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 @@ + + 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 @@ +