xmobar/src/Xmobar/X11, branch 0.37

Fix crash on x when no additional fonts are specified

2020-11-15T16:45:12Z

This fixes the following crash that happens with the default xmobar configuration (using HOME=/ makes xmobar ignore ~/.xmobarrc): $ echo "x" | HOME=/ xmobar xmobar: Prelude.!!: index too large Commit 3e9e1cb9d300 ("Fix crashes/busy looping happening via index") meant to fix this but apparently it only fixed indexing of fontlist, not voffs, so the crash was still there. Fixes: https://github.com/jaor/xmobar/issues/504

Fix vertical centering of additional fonts

2020-11-15T16:44:57Z

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)")

A bit of documentation for

2020-08-09T16:04:58Z

Update changelog and add comment

2020-08-09T07:39:51Z

Conditional encoding of xft string

2020-08-09T07:39:51Z

Avoid double utf8 encoding

2020-08-09T07:39:51Z

With this change, xmobar should respect the data which it gets. Xmobar should just render the data instead of trying to encode it.

fix non-exhaustive pattern warning

2020-08-07T18:19:36Z

better parsing for boxes + add margins

2020-08-07T17:49:35Z

fix line width for boxes

2020-08-07T17:49:34Z

make hlint happy

2020-08-07T17:49:33Z