527c53a2a0
The existing workspace management code is quite hairy, with plenty of logic inline in all of window.c, workspace.c, and screen.c, making it hard to understand or make changes to, since you might forget to change several of the other places the code was around. Rewrite the internal workspace management logic so that it's centralized and all in window.c. Document the invariants we need to maintain, and ensure that these invariants are properly kept, with asserts in various places. Extensive testing on gnome-shell did not bring up any issues, and this is a considerable cleanup.