After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 737531 - tweakview: Update decorations on settings changes
tweakview: Update decorations on settings changes
Status: RESOLVED FIXED
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
3.14.1
Depends on:
Blocks:
 
 
Reported: 2014-09-28 15:57 UTC by Florian Müllner
Modified: 2014-09-29 13:52 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
tweakview: Update decorations on settings changes (2.68 KB, patch)
2014-09-28 15:57 UTC, Florian Müllner
committed Details | Review

Description Florian Müllner 2014-09-28 15:57:19 UTC
See patch.
Comment 1 Florian Müllner 2014-09-28 15:57:21 UTC
Created attachment 287294 [details] [review]
tweakview: Update decorations on settings changes

It is a bit ironic that Tweak Tool allows users to tweak the
titlebar decorations, but ignores the setting (at least until
a restart). So listen for change notifications and update
decorations accordingly.
Comment 2 Matthias Clasen 2014-09-29 10:52:26 UTC
Review of attachment 287294 [details] [review]:

ha, looks right
Comment 3 Matthias Clasen 2014-09-29 10:52:51 UTC
another good 3.14.1 candidate
Comment 4 Florian Müllner 2014-09-29 13:51:59 UTC
Attachment 287294 [details] pushed as 4c97678 - tweakview: Update decorations on settings changes