diff options
author | Tomas Janousek <tomi@nomi.cz> | 2020-11-15 16:12:13 +0000 |
---|---|---|
committer | Tomas Janousek <tomi@nomi.cz> | 2020-11-15 16:44:57 +0000 |
commit | 8ea89a00a951b303f8b661c3b22a666c6887cfcb (patch) | |
tree | 176c8a513f1cf81a771a82bf6b70170475cea224 /src/Xmobar/Plugins/Monitors/Top.hs | |
parent | ea1096f20031364b5cffb0eebd64a6dc1a6e4a6e (diff) | |
download | xmobar-8ea89a00a951b303f8b661c3b22a666c6887cfcb.tar.gz xmobar-8ea89a00a951b303f8b661c3b22a666c6887cfcb.tar.bz2 |
Fix vertical centering of additional fonts
The readme says additional fonts are centered vertically if a
corresponding offset isn't specified in `textOffsets`, but this didn't
happen as we used the first font's metrics for centering of all fonts
instead.
Fixes: a2365debfaba ("New configuration parameter `textOffsets` (fixes #311)")
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Top.hs')
0 files changed, 0 insertions, 0 deletions