Re: Gnome-shell workspaces (Was Re: Proposed F19 Feature: Cinnamon as Default Desktop)