diff options
| author | Kostas Agnantis <kagnadis@gmail.com> | 2022-10-27 01:21:25 +0300 |
|---|---|---|
| committer | Kostas Agnantis <kagnadis@gmail.com> | 2022-11-06 23:43:46 +0200 |
| commit | 0554a448bb27985e8d66940d077f54eda58d8e5a (patch) | |
| tree | 375d548623dad7dc420c5d6de1185689c43384bb /src/Xmobar/Config | |
| parent | fa38f5dd3d31bf54a2105bf341e247376b8e9422 (diff) | |
| download | xmobar-0554a448bb27985e8d66940d077f54eda58d8e5a.tar.gz xmobar-0554a448bb27985e8d66940d077f54eda58d8e5a.tar.bz2 | |
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
Diffstat (limited to 'src/Xmobar/Config')
| -rw-r--r-- | src/Xmobar/Config/Types.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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 |