Christopher Meng <[email protected]> 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 <[email protected]> Center for Information Technology Services, University of Oslo -- devel mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/devel
