all repos — fluxbox @ 69b0f0fa97f53f601a250dc1b5a6876f64796a91

custom fork of the fluxbox windowmanager

remove strut when property is withdrawn

CCBUG: 1133
Thomas Lübking thomas.luebking@gmail.com
commit

69b0f0fa97f53f601a250dc1b5a6876f64796a91

parent

bfe4737427d10ca098d1baff540ff8c4d44b8781

1 files changed, 2 insertions(+), 0 deletions(-)

jump to
M src/Ewmh.ccsrc/Ewmh.cc

@@ -1402,6 +1402,8 @@ winclient.setStrut(winclient.screen().requestStrut(head,

data[0], data[1], data[2], data[3])); winclient.screen().updateAvailableWorkspaceArea(); + } else { + winclient.clearStrut(); } }