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 fee205d17..ed74e272b 100644 --- a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts +++ b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts @@ -977,6 +977,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) {