feedback: Change options filename

calcitem · Jun 29, 2024 · 232bc96 · 232bc96
1 parent 4354977
commit 232bc96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ui/flutter_app/lib/home/home.dart b/src/ui/flutter_app/lib/home/home.dart
@@ -490,7 +490,7 @@ class HomeState extends State<Home> with TickerProviderStateMixin {
 
   static Future<String> _saveOptionsContentToFile(String content) async {
     final Directory output = await getTemporaryDirectory();
-    final File file = File('${output.path}/options.txt');
+    final File file = File('${output.path}/sanmill-options.txt');
 
     // Delete the file synchronously if it exists to avoid slow async IO operations
     if (file.existsSync()) {