mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-21 16:38:23 +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. |
||
|---|---|---|
| .. | ||
| blockservice | ||
| clientservice | ||
| fileservice | ||
| objectservice | ||
| userinputservice | ||
| windowservice | ||
| workspaceservice | ||
| service.go | ||