Wez Furlong cefe45d206 Windows can be labelled with a workspace name ... This is not exposed through any UX; the mux api allows setting the workspace and propagating information about windows whose workspace has changed. Windows start with a blank workspace name. This is just plumbing; nothing uses it yet. refs: #1531		2022-01-12 16:47:08 -07:00
..
src	Windows can be labelled with a workspace name	2022-01-12 16:47:08 -07:00
build.rs	gui: invalidate windows resources when icon changes	2022-01-01 12:15:03 -07:00
Cargo.toml	deps: ordered-float -> 2.10	2022-01-09 19:25:48 -07:00