diff options
| author | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-06-19 19:40:06 +0200 | 
|---|---|---|
| committer | Andrea Rossato <andrea.rossato@ing.unitn.it> | 2007-06-19 19:40:06 +0200 | 
| commit | 2b650e23f080abaad4053f7dac51af315109d5f5 (patch) | |
| tree | 9695785417da9811fbb1c4660516e2dc6e4a445f | |
| parent | 37c2ce906137f4e9f8d5d11fc44082083e77abe2 (diff) | |
| download | xmobar-2b650e23f080abaad4053f7dac51af315109d5f5.tar.gz xmobar-2b650e23f080abaad4053f7dac51af315109d5f5.tar.bz2 | |
added a refresh rate configuration option
darcs-hash:20070619174006-d6583-810248e638d7062b41fd7ae771b625ac1a5164c5.gz
| -rw-r--r-- | xmobar.config-sample | 1 | ||||
| -rw-r--r-- | xmobar.hs | 4 | 
2 files changed, 5 insertions, 0 deletions
| diff --git a/xmobar.config-sample b/xmobar.config-sample index 69b068c..289af9b 100644 --- a/xmobar.config-sample +++ b/xmobar.config-sample @@ -5,4 +5,5 @@ Config { fonts = "-misc-fixed-*-*-*-*-*-*-*-*-*-*-*-*"         , yPos = 0         , width = 1024         , hight = 15 +       , refresh = 10         } @@ -44,6 +44,7 @@ import Graphics.X11.Xlib.Misc  import Text.ParserCombinators.Parsec  import Control.Monad +import Control.Concurrent  import System.Environment  -- $config @@ -58,6 +59,7 @@ data Config =             , yPos :: Int       -- ^ y Window position              , width :: Int      -- ^ Window width             , hight :: Int      -- ^ Window hight +           , refresh :: Int    -- ^ Refresh rate in tenth of seconds             } deriving (Eq, Show, Read, Ord)  defaultConfig :: Config @@ -69,6 +71,7 @@ defaultConfig =             , yPos = 0             , width = 1024             , hight = 15 +           , refresh = 10             }  -- $main @@ -131,6 +134,7 @@ drawInWin config (dpy, win) str = do    freeGC dpy gc    sync dpy True    -- back again: we are never ending +  threadDelay $ 100000 * refresh config    eventLoop config | 
