From c7c26b047919b8f365b7fa79a958812ca2f77a01 Mon Sep 17 00:00:00 2001
From: Tomas Janousek <tomi@nomi.cz>
Date: Sun, 15 Nov 2020 16:38:12 +0000
Subject: 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
---
 src/Xmobar/X11/Types.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Xmobar/X11/Types.hs')

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
           }
-- 
cgit v1.2.3