Also add recent file when "save as" selected. For #1661.

highperformancecoder · Jan 4, 2024 · 5275438 · 5275438
1 parent 033bcdf
commit 5275438
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts
@@ -976,6 +976,7 @@ export class CommandsManager {
     WindowManager.getMainWindow().setTitle(filePath);
     this.currentMinskyModelFilePath=filePath;
     minsky.save(filePath);
+    ipcMain.emit(events.ADD_RECENT_FILE, null, filePath);
   }
 
   static async editHandleDescription(ravel: Ravel, handleIndex: number) {