Gnome Tweaks

Gnome Tweaks, previously known as Tweak Tool, is a graphical user interface for advanced GNOME 3 settings:

$> sudo apt install gnome-tweaks

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