Christopher Meng cickumqt@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,