mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-22 21:42:49 +01:00
72ea58267d
Adds a new app menu for creating a new workspace or switching to an existing one. This required adding a new WPS event any time a workspace gets updated, since the Electron app menus are static. This also fixes a bug where closing a workspace could delete it if it didn't have both a pinned and an unpinned tab. |
||
|---|---|---|
| .. | ||
| contextmenu.ts | ||
| global.ts | ||
| jotaiStore.ts | ||
| keymodel.ts | ||
| modalmodel.ts | ||
| services.ts | ||
| wos.ts | ||
| wps.ts | ||
| ws.ts | ||
| wshclient.ts | ||
| wshclientapi.ts | ||
| wshrouter.ts | ||
| wshrpcutil.ts | ||