wmaker: Add new advanced option to ignore decoration changes from clients.
commit569fbff07cc3956e2c05e321856213dfbf0c26d0
authorBad Sector <badsector@runtimeterror.com>
Sun, 14 Jan 2018 06:59:42 +0000 (14 08:59 +0200)
committerCarlos R. Mafra <crmafra@gmail.com>
Wed, 14 Feb 2018 08:16:55 +0000 (14 08:16 +0000)
tree473e9d43f39f43f97e3dba08d0d749addaf5793f
parent36879de26176fa57bbb707b3a3e5f5e3b2b42338
wmaker: Add new advanced option to ignore decoration changes from clients.

 This adds an option (IgnoreDecorationChanges in plist) for windows to
ignore any requests from the clients for changing decorations. Since the
default state for any window pre-request is to have all decorations visible
this basically means that applications cannot hide any of the titlebar,
sizing bar, titlebar buttons, etc and any hint that causes these elements
to be hidden will be followed by a restoration if this option is set.

 This is useful for broken clients (e.g. Steam) and clients that force
subpar client side decorations. It is basically a per-window setting of the
global advanced option to ignore Gtk hints, except that it also applies to
non-Gtk applications.
src/wdefaults.c
src/window.c
src/window.h
src/winspector.c
src/wmspec.c