gnome-tweaks src ca1642ee35844a8ed2b69dd590725dd22662b18b165e00df3835dc9b5c3dd43f Tool to customize advanced GNOME 3 options GNOME Tweak Tool - application for changing the advanced settings of GNOME 3. Features: * Install and switch gnome-shell themes * Switch GTK+ themes * Switch icon themes * Change - The user-interface and title bar fonts - Icons in menus and buttons - Behavior on laptop lid close - Shell font size - File manager desktop icons - Title bar click action - Shell clock to show date - Font hinting - Font anti-aliasing angrypenguin <angrypenguinpoland@gmail.com> https://wiki.gnome.org/GnomeTweakTool