diff options
| author | Jochen Keil <jochen.keil@gmail.com> | 2012-09-01 21:40:42 +0200 |
|---|---|---|
| committer | Jochen Keil <jochen.keil@gmail.com> | 2012-09-01 21:40:42 +0200 |
| commit | 8ccd5aa759175d204dccd0b580a3477ab23747f2 (patch) | |
| tree | e6146868fd034b8ba12d8a007b455de9ddc22bae /src/Plugins/BufferedPipeReader.hs | |
| parent | 6dd88a76c61b2926ad553e50182aa8758ecbb69d (diff) | |
| download | xmobar-8ccd5aa759175d204dccd0b580a3477ab23747f2.tar.gz xmobar-8ccd5aa759175d204dccd0b580a3477ab23747f2.tar.bz2 | |
Set StrutValues only if window is actually mapped
For a ChangeScreen or Reposition signal the setProperties function is
called which sets the StrutValues regardless of the mapping state.
This means that for an unmapped window a window manager will produce an
empty gap. Fixing this is easy. Just set the StrutValues to 0.
Diffstat (limited to 'src/Plugins/BufferedPipeReader.hs')
0 files changed, 0 insertions, 0 deletions