Gnome-shell workspaces

Olav Vitters olav at vitters.nl
Mon Feb 11 13:02:29 UTC 2013


On Mon, Feb 11, 2013 at 01:30:02PM +0100, Mario Torre wrote:
> Il giorno dom, 10/02/2013 alle 14.47 +0100, Olav Vitters ha scritto:
> > On Sun, Feb 10, 2013 at 01:28:54PM +0100, Trond Hasle Amundsen wrote:
> > > Christopher Meng <cickumqt at gmail.com> writes:
> > > 
> > > > Somewhat funny that many users even don't know this tweak tool and ask
> > > > everywhere about this......
> > > 
> > > I always found it odd that gnome-tweak-tool even exists.. some
> > > functionality are found in the system settings, some in
> > > gnome-tweak-tool. If you ask me, gnome-tweak-tool should be part of the
> > > standard system settings. Call it "advanced shell options" or
> > > something. It would be easier for users to find, provide a more
> > > consistent GNOME experience, and ultimately happier users.
> > 
> > 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.
> 
> This argument is foo bar. If advanced buttons would be clicked any
> time... then it means users *want* to tweak those features, they should
> be integrated in the core preferences. Why should I ever need to install
> a separate tool to fix my font settings or to add back buttons to the
> otherwise useless and space wasting window bar?

Just try to explain the following:
- How does someone know if something is in Advanced or not?

> Gnome 3 is not an experimental desktop anymore, it's been around for
> some time and it's the default desktop in Fedora... it's about time to
> fix it [1].

Very vague statement? Help welcome :)

-- 
Regards,
Olav


More information about the devel mailing list