From 140f285bb0d2d3fffbb012d69cc02be23e9c5743 Mon Sep 17 00:00:00 2001
From: Noah Luck Easterly
Date: Thu, 29 Mar 2012 17:54:44 -0400
Subject: fixing bug that caused exports not to be saved in FF10

---
 chrome/js/redirector-ui.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/chrome/js/redirector-ui.js b/chrome/js/redirector-ui.js
index bd709cc..2cd548a 100644
--- a/chrome/js/redirector-ui.js
+++ b/chrome/js/redirector-ui.js
@@ -79,7 +79,9 @@ function getFile(captionKey, mode) {
 	if (picker.show() == picker.returnCancel) {
 		return null;
 	}
-	prefs.defaultDir = picker.displayDirectory.path;
+	if (picker.displayDirectory) {
+		prefs.defaultDir = picker.displayDirectory.path;
+	}
 	return picker.file;
 }
 
-- 
cgit v1.2.3-70-g09d2


From ffc38e7b522ab874c67722b2b5327cefc0c58a21 Mon Sep 17 00:00:00 2001
From: Noah Luck Easterly
Date: Thu, 29 Mar 2012 18:02:00 -0400
Subject: add default name (w/ ext) since not all OSes automatically append ext
 and this shows the user the ext is necessary

---
 chrome/js/redirector-ui.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/chrome/js/redirector-ui.js b/chrome/js/redirector-ui.js
index 2cd548a..49526e3 100644
--- a/chrome/js/redirector-ui.js
+++ b/chrome/js/redirector-ui.js
@@ -70,6 +70,7 @@ function trPlural(name, count) {
 function getFile(captionKey, mode) {
 	var picker = new FilePicker(window, tr(captionKey), mode);
 	picker.defaultExtension = ".rjson";
+	picker.defaultString = "Redirector.rjson";
 	var dir = prefs.defaultDir;
 	if (dir) {
 		picker.displayDirectory = new LocalFile(dir);
-- 
cgit v1.2.3-70-g09d2