From 2733f920ff4575c571e5570f7ebd551f8769730a Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Thu, 31 Jan 2019 21:07:07 +0100
Subject: Make XMonad border width host dependent

These host dependent changes are starting to get out of hand…
---
 gui/conf/xmonad.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'gui/conf/xmonad.hs')

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
-- 
cgit v1.2.3