diff options
| author | jao <jao@gnu.org> | 2018-11-18 00:09:01 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2018-11-18 00:09:01 +0000 |
| commit | 78565509096b5aba245749f537ed7fdd57be826d (patch) | |
| tree | b487856030099fe9c2aeb04d703f92d9bfc7557e /src/Plugins/EWMH.hs | |
| parent | 52499e093591ffc673bec239356b1173d2e7fff4 (diff) | |
| download | xmobar-78565509096b5aba245749f537ed7fdd57be826d.tar.gz xmobar-78565509096b5aba245749f537ed7fdd57be826d.tar.bz2 | |
Fix: it's wmName, not windowName
Diffstat (limited to 'src/Plugins/EWMH.hs')
0 files changed, 0 insertions, 0 deletions