Make border width configurable

2025-07-31 12:11:53 -07:00 · 2007-04-30 16:35:15 +00:00
parent 08e514b28f
commit 3586379ecc
3 changed files with 7 additions and 1 deletions
--- 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