From c2030a926c137af12a1a96981988b43988834fec Mon Sep 17 00:00:00 2001 From: Russell Standish Date: Sun, 7 Jan 2024 10:50:08 +1100 Subject: [PATCH] Switch to wiring tab when creating new system or opening a new system. For #1680. --- 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 b728c2774..fee205d17 100644 --- a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts +++ b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts @@ -439,6 +439,7 @@ export class CommandsManager { minsky.canvas.recentre(); minsky.popFlags(); await minsky.doPushHistory(true); + WindowManager.getMainWindow()?.webContents?.send(events.CHANGE_MAIN_TAB); // not necesarily removed, maybe added WindowManager.getMainWindow()?.webContents?.send(events.PUB_TAB_REMOVED); // not necesarily removed, maybe added }