fix: rename file before saving

ZebraVogel94349 · ZebraVogel94349 · commit bbd6157b9b79 · 2024-08-01T17:09:46.000+02:00
diff --git a/lib/pages/editor/editor.dart b/lib/pages/editor/editor.dart
@@ -831,6 +831,8 @@ class EditorState extends State<Editor> {
         savingState.value = SavingState.saving;
     }
 
+    await _renameFileNow();
+
     final filePath = coreInfo.filePath + Editor.extension;
     final Uint8List bson;
     final OrderedAssetCache assets;

Original file line number	Diff line number	Diff line change
`@@ -831,6 +831,8 @@ class EditorState extends State<Editor> {`
`831`	`831`	`savingState.value = SavingState.saving;`
`832`	`832`	`}`
`833`	`833`
	`834`	`+ await _renameFileNow();`
	`835`	`+`
`834`	`836`	`final filePath = coreInfo.filePath + Editor.extension;`
`835`	`837`	`final Uint8List bson;`
`836`	`838`	`final OrderedAssetCache assets;`