From 65f2bb18a372fc32a95c9887ba7a4006dc4ea24a Mon Sep 17 00:00:00 2001 From: jao Date: Sun, 11 Sep 2022 00:52:29 +0100 Subject: cairo: outer border --- src/Xmobar/Run/Parsers.hs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/Xmobar/Run') diff --git a/src/Xmobar/Run/Parsers.hs b/src/Xmobar/Run/Parsers.hs index 7c5e64c..8da7204 100644 --- a/src/Xmobar/Run/Parsers.hs +++ b/src/Xmobar/Run/Parsers.hs @@ -38,8 +38,10 @@ import Xmobar.Run.Actions data Widget = Icon String | Text String | Hspace Int32 deriving Show data BoxOffset = BoxOffset Align Int32 deriving (Eq, Show) + -- margins: Top, Right, Bottom, Left data BoxMargins = BoxMargins Int32 Int32 Int32 Int32 deriving (Eq, Show) + data BoxBorder = BBTop | BBBottom | BBVBoth @@ -48,13 +50,16 @@ data BoxBorder = BBTop | BBHBoth | BBFull deriving ( Read, Eq, Show ) + data Box = Box BoxBorder BoxOffset CInt String BoxMargins deriving (Eq, Show) + data TextRenderInfo = TextRenderInfo { tColorsString :: String , tBgTopOffset :: Int32 , tBgBottomOffset :: Int32 , tBoxes :: [Box] } deriving Show + type FontIndex = Int type Segment = (Widget, TextRenderInfo, FontIndex, Maybe [Action]) -- cgit v1.2.3