From 5275438c8e417ff0599050fc9912f23139649420 Mon Sep 17 00:00:00 2001
From: Russell Standish <hpcoder@hpcoders.com.au>
Date: Fri, 5 Jan 2024 09:15:53 +1100
Subject: [PATCH] Also add recent file when "save as" selected. For #1661.

---
 gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts
index f34d13445..84e79c8c1 100644
--- 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) {