Gnome-shell workspaces

[Trond Hasle Amundsen]

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.

Cheers,
-- 
Trond H. Amundsen <t.h.amundsen at usit.uio.no>
Center for Information Technology Services, University of Oslo