Gnome-shell workspaces

[Kevin Kofler]

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, so you need a third-party tool to 
enable the hidden settings. Having an "official tweak tool" is really really 
silly.

        Kevin Kofler