diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-27 02:34:12 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-12-27 02:34:12 +0100 |
| commit | 50f3707ce997132880c8511cf3a9d2f707c22708 (patch) | |
| tree | 3a812e687e0c21a19ccc0b7de79157b573f18e14 /src/Xmobar.hs | |
| parent | 729359d2b442030da0d033e3ec7bfae603c39116 (diff) | |
| download | xmobar-50f3707ce997132880c8511cf3a9d2f707c22708.tar.gz xmobar-50f3707ce997132880c8511cf3a9d2f707c22708.tar.bz2 | |
Fix for FullBM border specification
Diffstat (limited to 'src/Xmobar.hs')
| -rw-r--r-- | src/Xmobar.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Xmobar.hs b/src/Xmobar.hs index 2f5af19..b58b060 100644 --- a/src/Xmobar.hs +++ b/src/Xmobar.hs @@ -265,8 +265,8 @@ drawInWin (Rectangle _ _ wid ht) ~[left,center,right] = do -- resync io $ sync d True -drawBorder :: Border -> Display -> Drawable -> GC -> Pixel -> Dimension - -> Dimension -> IO () +drawBorder :: Border -> Display -> Drawable -> GC -> Pixel + -> Dimension -> Dimension -> IO () drawBorder b d p gc c wi ht = case b of NoBorder -> return () TopB -> drawBorder (TopBM 0) d p gc c w h @@ -275,8 +275,8 @@ drawBorder b d p gc c wi ht = case b of 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) + FullBM m -> let pad = 2 * fi m; mp = fi m in + sf >> drawRectangle d p gc mp mp (w - pad) (h - pad) where sf = setForeground d gc c (w, h) = (wi - 1, ht - 1) |