-
Florian Müllner authored
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. https://bugzilla.gnome.org/show_bug.cgi?id=737531
4c976788