Evan Simkowitz 72ea58267d Workspace app menu (#1423) ... 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.		2024-12-06 15:33:00 -08:00
..
wps.go	browser view (#1005)	2024-10-17 14:34:02 -07:00
wpstypes.go	Workspace app menu (#1423)	2024-12-06 15:33:00 -08:00