gnome-tweak-tool 3.25.92-1 (amd64 binary) in ubuntu artful

 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

Details

Package version:
3.25.92-1
Source:
gnome-tweak-tool 3.25.92-1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional