From 0554a448bb27985e8d66940d077f54eda58d8e5a Mon Sep 17 00:00:00 2001 From: Kostas Agnantis Date: Thu, 27 Oct 2022 01:21:25 +0300 Subject: Adds new position configuration - TopHM: Top position with left/right/top margins and specific height - BottomHM: Bottom position with left/right/bottom margins and specific height --- src/Xmobar/Config/Types.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Xmobar/Config') diff --git a/src/Xmobar/Config/Types.hs b/src/Xmobar/Config/Types.hs index df39f6d..1172034 100644 --- a/src/Xmobar/Config/Types.hs +++ b/src/Xmobar/Config/Types.hs @@ -89,11 +89,13 @@ data Config = data XPosition = Top | TopH Int + | TopHM Int Int Int Int -- left right top height | TopW Align Int | TopSize Align Int Int | TopP Int Int | Bottom | BottomH Int + | BottomHM Int Int Int Int -- left right bottom height | BottomP Int Int | BottomW Align Int | BottomSize Align Int Int -- cgit v1.2.3