gnome-tweak-tool 3.5.5

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.


  * Now appear as "Tweak Tool" in (bug 678778)
  * Fix incompatibility with new gnome-shell extensions (Alban Browaeys, bug 678778)

======== (213K)
  sha256sum: 0b0e76e95998a766b804b132021e2324c2e42f109625f32b45fec70ad9466561

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