Gnome-shell workspaces

[Bastien Nocera]

On Sun, 2013-02-10 at 15:03 +0100, Kevin Kofler wrote:
> Olav Vitters wrote:
> > This has been addressed various times. In brief: Advanced buttons do not
> > work. They'll be clicked every time. Tweak tool provides a different
> > guarantee of stability. For instance: if you change an option in System
> > Settings and it results in a bug it must be fixed asap. At the same
> > time, the sloppy focus option in Tweak tool is known to have issues. And
> > to avoid misunderstandings: sloppy focus has less issues with every
> > release.
> 
> Having a separate "tweak tool" is a lame workaround for lack of settings in 
> the official tools. The only reason such "tweak tools" exist on proprietary 
> operating systems is because the proprietary companies don't want to 
> officially support some functionality,

Well, that's pretty much the case here. People providing tweaks for
underlying settings that shouldn't be there, buttons and tweaks that are
usually broken, untested, and unsupported.

>  so you need a third-party tool to 
> enable the hidden settings. Having an "official tweak tool" is really really 
> silly.

It's not so much official as de facto. The settings maintainers don't
spend their time on it.