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

2013-02-10 Thread Christopher Meng
On Sunday, February 10, 2013, Samuel Sieb sam...@sieb.net wrote: > As an aside, when I first saw gnome-shell, I thought it would be horrible to use. But after a while of using it, finding gnome-tweak-tool, and installing a couple of extensions, I've been quite happy with it. I actually think

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

2013-02-09 Thread Samuel Sieb
On 02/09/2013 03:34 AM, Ian Malone wrote: 1. I no longer use workspaces to manage different tasks unless there are lots of windows and then I sometimes overflow onto 2. This is because they're less useful as you now can't switch without going to the activities view and they aren't segregated