gnome-tweak-tool 3.10.1-0ubuntu1 (amd64 binary) in ubuntu trusty

 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.10.1-0ubuntu1
Source:
gnome-tweak-tool 3.10.1-0ubuntu1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional