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