make workspace separator a little bit more prominent
make app-switcher height totally predictable even with more than one row in label
consolidate "Move to a temporary workspace" and "Move to an empty workspace" into one single menu item.
consolidate the menu-population code to one function for single and multiple selections
use assigned workspace names in menus
cannot change vertical position behind the user's back
the dock style is gone, alas
fix a couple of boundary conditions after closing windows