From 16c01bef2a842f584d3c7831db254d8c9a0f968e Mon Sep 17 00:00:00 2001
From: Spencer Janssen <sjanssen@cse.unl.edu>
Date: Mon, 30 Apr 2007 18:35:15 +0200
Subject: Make border width configurable

darcs-hash:20070430163515-a5988-9dea5188c30830fd8b3135f7cb5beffd7b90dcb9.gz
---
 Config.hs      | 4 ++++
 Config.hs-boot | 2 ++
 Operations.hs  | 2 +-
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/Config.hs b/Config.hs
index 7d2c714..beb8699 100644
--- a/Config.hs
+++ b/Config.hs
@@ -111,6 +111,10 @@ normalBorderColor, focusedBorderColor :: String
 normalBorderColor  = "#dddddd"
 focusedBorderColor = "#ff0000"
 
+-- Width of the window border in pixels
+borderWidth :: Dimension
+borderWidth = 1
+
 -- What layout to start in, and what the default proportion for the
 -- left pane should be in the tiled layout.  See LayoutDesc and
 -- friends in XMonad.hs for options.
diff --git a/Config.hs-boot b/Config.hs-boot
index f5e7206..7fd4cee 100644
--- a/Config.hs-boot
+++ b/Config.hs-boot
@@ -1,3 +1,5 @@
 module Config where
 import XMonad (LayoutDesc)
+import Graphics.X11.Xlib.Types (Dimension)
 defaultLayoutDesc :: LayoutDesc
+borderWidth :: Dimension
diff --git a/Operations.hs b/Operations.hs
index ed25b31..886d8ac 100644
--- a/Operations.hs
+++ b/Operations.hs
@@ -161,7 +161,7 @@ manage w = do
     withDisplay $ \d -> io $ do
         selectInput d w $ structureNotifyMask .|. enterWindowMask .|. propertyChangeMask
         mapWindow d w
-        setWindowBorderWidth d w 1
+        setWindowBorderWidth d w borderWidth
     windows $ W.push w
 
 -- | unmanage. A window no longer exists, remove it from the window
-- 
cgit v1.2.3