gnome-tweak-tool 3.8.1

About GNOME Tweak Tool

GNOME Tweak Tool allows adjusting advanced configuration settings in
GNOME3. This includes things like the fonts used in user interface
elements, alternative user interface themes, changes in window
management behaviour, GNOME Shell appearance and extension, etc.


  * Use extension specific paths to find pref.js (Ralph Bean, 697685)
  * Dont look in ~/.themes for metacity themes (John Stowers, 693350)
  * Add groups only if they have tweaks (Joaquim Rocha, 699572)
  * Work with gnome-shell classic mode (Florian Mullner, 701760)

======== (225K)
  sha256sum: 283e3174ce85aeb9187de31a09b59866e84debd31dcdddedc1615a5097ea54c1

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]