Gnome-shell workspaces

[Kevin Kofler]

Martin Sourada wrote:
> I don't think that's what he is trying to tell. I believe it's: either
> expose the setting, or don't have the setting. The middle way is
> broken, be it semi-official tweak tool or even worse "advanced" tab.
> Especially if the tweak tool is for settings that are expected to be
> broken, unsupported or eating kitties.

Actually, I think not having the setting at all is no better (in fact, it's 
worse). I think settings should be made available to the user, but not in a 
half-assed "tweak tool". That's what the settings dialog is for.

        Kevin Kofler