fix: ensure exported preferences file has .txt extension

onemen · Feb 12, 2025 · 266a8b0 · 266a8b0
1 parent 78f317c
commit 266a8b0
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/addon/chrome/content/preferences/preferences.js b/addon/chrome/content/preferences/preferences.js
@@ -644,7 +644,14 @@ function showFilePicker(mode) {
     }
     fp.appendFilters(nsIFilePicker.filterText);
     fp.open(result => {
-      resolve(result != nsIFilePicker.returnCancel ? fp.file : null);
+      if (result === nsIFilePicker.returnOK) {
+        const fileName = fp.file.leafName;
+        if (!fileName.endsWith(".txt")) {
+          fp.file.leafName = fileName + ".txt";
+        }
+        return resolve(fp.file);
+      }
+      return resolve(null);
     });
   });
 }

diff --git a/types/general.d.ts b/types/general.d.ts
@@ -1000,6 +1000,7 @@ declare namespace MockedExports {
   // nsIFilePicker is missing some types from lib.gecko.xpcom.d.ts
   interface nsIFilePicker extends nsIFilePickerXpcom {}
   interface FilePicker extends Pick<nsIFilePicker, "appendFilters" | "defaultExtension" | "defaultString"> {
+    file: nsIFile;
     init: (browsingContext: BrowsingContext, title: string | null, mode: number) => void;
   }