gnome-tweak-tool 3.12.0

[Matthias Clasen <install-module master gnome org>]

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
====

  * Add Gdk/WindowScalingFactor tweak
  * Remove non-functional help menu
  * Support CSD windows with header bars (Alex)
  * Support changing shell overlay keyboard shorcut (Alex)
  * Support changing shell lock screen background (Alex)
  * Fix CSD header bar (Yosef)
  * Fix background color of startup apps tab (Alex)
  * Fix icon theme detection (Mattias)
  * Add another digit for font size tweaks
  * Allow localized searches
  * More robust startup application handling (Mike FABIAN)
  * Translation updates (many)



Download
========
https://download.gnome.org/sources/gnome-tweak-tool/3.12/gnome-tweak-tool-3.12.0.tar.xz (223K)
  sha256sum: f8811d638797ef62500770a8dccc5bc689a427c8396a0dff8cbeddffdebf0e29