• dynamic workspaces: Keep a minimum number of workspaces (by default 4). This brings consistent workspace ordering for a select number of workspaces, with the added benefit of always having a fresh workspace. (use gsettings set org.gnome.desktop.wm.preferences num-workspaces n to configure the number of «static» workspaces).
• Highlight: Do not protrude when maximized horizontally (#208)
• window-gap: Increase default to 20px (from 10px), this makes room for