From ddd7cdf43100c1239320b6f07f75e2454eab2ba7 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Wed, 20 Mar 2013 05:01:21 -0400
Subject: [PATCH] Use nicer alert for PDF tools download error

---
 chrome/content/zotero/preferences/preferences_search.js | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/chrome/content/zotero/preferences/preferences_search.js b/chrome/content/zotero/preferences/preferences_search.js
index b50d2518e6..6aec06d879 100644
--- a/chrome/content/zotero/preferences/preferences_search.js
+++ b/chrome/content/zotero/preferences/preferences_search.js
@@ -411,7 +411,14 @@ Zotero_Preferences.Search = {
 			var browser = info.name; // Returns "Firefox" for Firefox
 			var str = Zotero.getString('general.browserIsOffline', browser);
 		}
-		alert(str);
+		
+		var ps = Components.classes["@mozilla.org/embedcomp/prompt-service;1"]
+			.createInstance(Components.interfaces.nsIPromptService);
+		ps.alert(
+			null,
+			Zotero.getString('pane.item.attachments.PDF.installTools.title'),
+			str
+		);
 	},