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/X11/Types.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/X11/Types.hs')
| -rw-r--r-- | src/Xmobar/X11/Types.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Xmobar/X11/Types.hs b/src/Xmobar/X11/Types.hs index b22f807..a403e11 100644 --- a/src/Xmobar/X11/Types.hs +++ b/src/Xmobar/X11/Types.hs @@ -35,7 +35,7 @@ data XConf = , rect :: Rectangle , window :: Window , fontListS :: NE.NonEmpty XFont - , verticalOffsets :: [Int] + , verticalOffsets :: NE.NonEmpty Int , iconS :: Map FilePath Bitmap , config :: Config } |