add default name (w/ ext) since not all OSes automatically append ext and this shows the user the ext is necessary

1 files changed, 1 insertions, 0 deletions

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);