Christopher Meng <cicku...@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.amund...@usit.uio.no> Center for Information Technology Services, University of Oslo -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
