gnome-tweaks - 46.1-1 main

GNOME Tweak Tool allows the adjustment of several advanced GNOME
options that can't be configured in gnome-control-center.
This includes things like:
* fonts used in user interface elements and titlebar
* font hinting and aliasing
* alternative user interface themes
* changes in window management behaviour
* behaviour on laptop lid close
* file manager desktop icons
* icons in menus and buttons