Christopher Meng <cickumqt@xxxxxxxxx> 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@xxxxxxxxxxx> Center for Information Technology Services, University of Oslo -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
