diff options
| author | Tomas Janousek <tomi@nomi.cz> | 2020-11-15 16:38:12 +0000 |
|---|---|---|
| committer | Tomas Janousek <tomi@nomi.cz> | 2020-11-15 16:45:12 +0000 |
| commit | c7c26b047919b8f365b7fa79a958812ca2f77a01 (patch) | |
| tree | 0a0b382d78a3341ac1303ed91e890d7ae065b753 /src/Xmobar/Plugins/Monitors/Mem.hs | |
| parent | 8ea89a00a951b303f8b661c3b22a666c6887cfcb (diff) | |
| download | xmobar-c7c26b047919b8f365b7fa79a958812ca2f77a01.tar.gz xmobar-c7c26b047919b8f365b7fa79a958812ca2f77a01.tar.bz2 | |
Fix crash on <fn=1>x</fn> when no additional fonts are specified
This fixes the following crash that happens with the default xmobar
configuration (using HOME=/ makes xmobar ignore ~/.xmobarrc):
$ echo "<fn=1>x</fn>" | 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
Diffstat (limited to 'src/Xmobar/Plugins/Monitors/Mem.hs')
0 files changed, 0 insertions, 0 deletions