About GNOME Tweak Tool ====================== GNOME Tweak Tool allows adjusting advanced configuration settings in GNOME 3. This includes things like the fonts used in user interface elements, alternative user interface themes, changes in window management behavior, GNOME Shell appearance and extension, etc.
News ==== * Use the correct default for icon-themes (Matthias Clasen) * interface: Remove WindowTheme tweak (Florian Müllner) * Add a confirmation message when changing HiDPI (Gian Mario Tagliaretti) * Change Right/Left super shortcut name (Robert Roth) * ShellExtension: fix extension prefs button style (Trinh Anh Ngoc) * Automatically search when unhandled keyboard input is detected (Isaac Lenton) * Implemented search functionality for startup applications (Isaac Lenton) * Translation updates Download ======== https://download.gnome.org/sources/gnome-tweak-tool/3.15/gnome-tweak-tool-3.15.90.tar.xz (241K) sha256sum: 25a3f2adeb8c8aa19e0d97568a554d5327047334452fa12161a166f28bb48001 _______________________________________________ ftp-release-list mailing list ftp-release-list@gnome.org https://mail.gnome.org/mailman/listinfo/ftp-release-list