diff options
author | jao <jao@gnu.org> | 2022-09-16 17:00:07 +0100 |
---|---|---|
committer | jao <jao@gnu.org> | 2022-09-16 17:00:52 +0100 |
commit | 98438363998a992ded2318d51a614c616a365f6d (patch) | |
tree | 3bdb826e156c63a4299bbadfb87fcb9c030850b8 /src/Xmobar/Run | |
parent | 684fee419fb6ee35efd28c196b0c520d800fffa9 (diff) | |
download | xmobar-98438363998a992ded2318d51a614c616a365f6d.tar.gz xmobar-98438363998a992ded2318d51a614c616a365f6d.tar.bz2 |
little clean-ups
Diffstat (limited to 'src/Xmobar/Run')
-rw-r--r-- | src/Xmobar/Run/Parsers.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Xmobar/Run/Parsers.hs b/src/Xmobar/Run/Parsers.hs index c0f3104..9b36786 100644 --- a/src/Xmobar/Run/Parsers.hs +++ b/src/Xmobar/Run/Parsers.hs @@ -64,8 +64,6 @@ data TextRenderInfo = TextRenderInfo { tColorsString :: String , tBoxes :: [Box] } deriving Show -type FontIndex = Int - type Segment = (Widget, TextRenderInfo, FontIndex, Maybe [Action]) -- | Runs the string parser |