From 961b6664453d73ea4d25ca91ef0870935fd340e1 Mon Sep 17 00:00:00 2001
From: Jose A Ortega Ruiz <jao@gnu.org>
Date: Thu, 24 Jun 2010 20:27:24 +0200
Subject: Configurable border margins

Ignore-this: 18fcf93df84c7e8b6a263f3301a1666e

darcs-hash:20100624182724-748be-0b7c8d41243587bab906b4ea9739eca78aa1a21c.gz
---
 Config.hs |  9 ++++++++-
 README    | 14 ++++++++++++++
 Xmobar.hs | 16 +++++++++++-----
 3 files changed, 33 insertions(+), 6 deletions(-)

diff --git a/Config.hs b/Config.hs
index 621d590..ae88326 100644
--- a/Config.hs
+++ b/Config.hs
@@ -71,7 +71,14 @@ data XPosition = Top
 
 data Align = L | R | C deriving ( Read, Eq )
 
-data Border = NoBorder | TopB | BottomB | FullB deriving ( Read, Eq )
+data Border = NoBorder
+            | TopB
+            | BottomB
+            | FullB
+            | TopBM Int
+            | BottomBM Int
+            | FullBM Int
+              deriving ( Read, Eq )
 
 -- | The default configuration values
 defaultConfig :: Config
diff --git a/README b/README
index 0375269..999af62 100644
--- a/README
+++ b/README
@@ -157,6 +157,20 @@ Other configuration options:
 
 :         position = Top
 
+`border`
+:     TopB, TopBM, BottomB, BottomBM, FullB, FullBM or NoBorder (default).
+
+:     TopB, BottomB, FullB take no arguments, and request drawing a
+      border at the top, bottom or around xmobar's window,
+      respectively.
+
+:     TopBM, BottomBM, FullBM take an integer argument, which is the
+      margin, in pixels, between the border of the window and the
+      drawn border.
+
+`borderColor`
+:     Border color.
+
 `commands`
 :    For setting the options of the programs to run (optional).
 
diff --git a/Xmobar.hs b/Xmobar.hs
index 167198b..702dcbf 100644
--- a/Xmobar.hs
+++ b/Xmobar.hs
@@ -252,7 +252,7 @@ drawInWin (Rectangle _ _ wid ht) ~[left,center,right] = do
     io $ setForeground d gc bgcolor
     io $ fillRectangle d p gc 0 0 wid ht
     -- draw 1 pixel border if requested
-    io $ drawBorder (border c) d p gc bdcolor (wid - 1) (ht - 1)
+    io $ drawBorder (border c) d p gc bdcolor wid ht
     -- write to the pixmap the new string
     printStrings p gc fs 1 L =<< strLn left
     printStrings p gc fs 1 R =<< strLn right
@@ -267,12 +267,18 @@ drawInWin (Rectangle _ _ wid ht) ~[left,center,right] = do
 
 drawBorder :: Border -> Display -> Drawable -> GC -> Pixel -> Dimension
            -> Dimension -> IO ()
-drawBorder b d p gc c w h =  case b of
+drawBorder b d p gc c wi ht =  case b of
   NoBorder -> return ()
-  TopB -> sf >> drawLine d p gc 0 0 (fi w) 0
-  BottomB -> sf >> drawLine d p gc 0 (fi h) (fi w) (fi h)
-  FullB -> sf >> drawRectangle d p gc 0 0 w h
+  TopB       -> drawBorder (TopBM 0) d p gc c w h
+  BottomB    -> drawBorder (BottomBM 0) d p gc c w h
+  FullB      -> drawBorder (FullBM 0) d p gc c w h
+  TopBM m    -> sf >> drawLine d p gc 0 (fi m) (fi w) 0
+  BottomBM m -> let rw = (fi h) - (fi m) in
+                 sf >> drawLine d p gc 0 rw (fi w) rw
+  FullBM m   -> let rm = fi m; mp = fi m in
+                 sf >> drawRectangle d p gc mp mp (w - rm) (h - rm)
   where sf = setForeground d gc c
+        (w, h) = (wi - 1, ht - 1)
 
 -- | An easy way to print the stuff we need to print
 printStrings :: Drawable -> GC -> XFont -> Position
-- 
cgit v1.2.3