diff options
| author | Adrian Kummerlaender | 2019-01-31 21:07:07 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2019-01-31 21:07:07 +0100 |
| commit | 2733f920ff4575c571e5570f7ebd551f8769730a (patch) | |
| tree | bbd3ef15ee4b7cc763b7dfccb9582562b8bd012a /gui | |
| parent | b6fb8d0ad3993eccb812750125252dda1764d074 (diff) | |
| download | nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.tar nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.tar.gz nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.tar.bz2 nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.tar.lz nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.tar.xz nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.tar.zst nixos_home-2733f920ff4575c571e5570f7ebd551f8769730a.zip | |
Make XMonad border width host dependent
These host dependent changes are starting to get out of hand…
Diffstat (limited to 'gui')
| -rw-r--r-- | gui/conf/xmonad.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gui/conf/xmonad.hs b/gui/conf/xmonad.hs index 4e16d3f..bec0fff 100644 --- a/gui/conf/xmonad.hs +++ b/gui/conf/xmonad.hs @@ -238,7 +238,7 @@ main = do $ docks $ def { modMask = mod4Mask -- super key as modifier - , borderWidth = 6 + , borderWidth = borderWidthOn host , normalBorderColor = "#161616" , focusedBorderColor = "#909636" , keys = \c -> mkKeymap c (customKeybindings host) @@ -321,6 +321,11 @@ screenHeightOn host = case host of "majestix" -> 1050 "asterix" -> 768 "athena" -> 1440 +borderWidthOn host = case host of + "obelix" -> 3 + "majestix" -> 3 + "asterix" -> 3 + "athena" -> 6 decoHeightOn host = case host of "obelix" -> 20 "majestix" -> 20 |