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.
News ==== * Now appear as "Tweak Tool" in (bug 678778) * Fix incompatibility with new gnome-shell extensions (Alban Browaeys, bug 678778) Download ======== http://download.gnome.org/sources/gnome-tweak-tool/3.5/gnome-tweak-tool-3.5.5.tar.xz (213K) sha256sum: 0b0e76e95998a766b804b132021e2324c2e42f109625f32b45fec70ad9466561 _______________________________________________ ftp-release-list mailing list ftp-release-list@gnome.org https://mail.gnome.org/mailman/listinfo/ftp-release-list