Wez Furlong 76a213f7ab Gui switches to a different workspace when current workspace is emptied ... Rather than just quitting the app and potentially silently killing off a number of panes that might be running in other workspaces, we now will pick one of those workspaces and activate it. refs: #1531		2022-01-15 14:41:19 -07:00
..
src	Gui switches to a different workspace when current workspace is emptied	2022-01-15 14:41:19 -07:00
Cargo.toml	mux: function to list workspaces and generate a new name	2022-01-15 08:46:21 -07:00