gnome-tweak-tool 3.14.2

[Rui Matos <install-module master gnome org>]

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

  * startup: Fix check for running executables (Rui Matos)
  * tweakview: Update decorations on settings changes (Florian Müllner)
  * windows: Stop overriding the Gtk/DecorationLayout xsetting (Florian Müllner)
  * Remove the use of deprecated properties (Dominique Leuenberger)
  * Make the window a bit taller (Matthias Clasen)
  * startup: Sort application selection list alphabetically (Rui Matos)
  * GTK+ required version bump to 3.12 (Gian Mario Tagliaretti)
  * Translation updates



Download
========
https://download.gnome.org/sources/gnome-tweak-tool/3.14/gnome-tweak-tool-3.14.2.tar.xz (237K)
  sha256sum: f38dbfabc6f566561592900d17d1c106f22a50438f77d70f9ec4e1093284cb97