diff options
| author | Thomas Lübking <thomas.luebking@gmail.com> | 2016-06-25 20:06:17 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira@fluxbox.org> | 2016-06-26 14:31:37 (GMT) |
| commit | 69b0f0fa97f53f601a250dc1b5a6876f64796a91 (patch) | |
| tree | 05a69b310b65326248ccafca5bde5eb34a6849d4 | |
| parent | bfe4737427d10ca098d1baff540ff8c4d44b8781 (diff) | |
| download | fluxbox-69b0f0fa97f53f601a250dc1b5a6876f64796a91.zip fluxbox-69b0f0fa97f53f601a250dc1b5a6876f64796a91.tar.bz2 | |
remove strut when property is withdrawn
CCBUG: 1133
| -rw-r--r-- | src/Ewmh.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Ewmh.cc b/src/Ewmh.cc index 0da4190..03a824f 100644 --- a/src/Ewmh.cc +++ b/src/Ewmh.cc | |||
| @@ -1402,6 +1402,8 @@ void Ewmh::updateStrut(WinClient &winclient) { | |||
| 1402 | data[0], data[1], | 1402 | data[0], data[1], |
| 1403 | data[2], data[3])); | 1403 | data[2], data[3])); |
| 1404 | winclient.screen().updateAvailableWorkspaceArea(); | 1404 | winclient.screen().updateAvailableWorkspaceArea(); |
| 1405 | } else { | ||
| 1406 | winclient.clearStrut(); | ||
| 1405 | } | 1407 | } |
| 1406 | } | 1408 | } |
| 1407 | 1409 | ||