diff --git a/chrome/content/zotero/preferences/preferences.js b/chrome/content/zotero/preferences/preferences.js index 81e54c16ab..56cc230006 100644 --- a/chrome/content/zotero/preferences/preferences.js +++ b/chrome/content/zotero/preferences/preferences.js @@ -1118,7 +1118,8 @@ function runIntegrityCheck() { ps.alert(window, Zotero.getString('general.' + str), - Zotero.getString('db.integrityCheck.' + str)); + Zotero.getString('db.integrityCheck.' + str) + + (!ok ? "\n\n" + Zotero.getString('db.integrityCheck.dbRepairTool') : '')); }