From 8fca358a81347557fc478915efe47eb666b9cf2c Mon Sep 17 00:00:00 2001
From: Andrea Rossato <andrea.rossato@ing.unitn.it>
Date: Tue, 2 Oct 2007 13:48:13 +0200
Subject: Config: removed the refresh configuration option

WARNING: this patch breaks previous configuration files. To update
just get rid of the refresh configuration option ;)

darcs-hash:20071002114813-d6583-102431c169666d1049287a0ad9bd4672ec41e601.gz
---
 Config.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Config.hs b/Config.hs
index bc01f44..478145f 100644
--- a/Config.hs
+++ b/Config.hs
@@ -39,7 +39,6 @@ data Config =
            , width          :: Int        -- ^ Window width
            , height         :: Int        -- ^ Window height
            , align          :: String     -- ^ text alignment
-           , refresh        :: Int        -- ^ Refresh rate in tenth of seconds
            , commands       :: [Runnable] -- ^ For setting the command, the command argujments 
                                           --   and refresh rate for the programs to run (optional)
            , sepChar        :: String     -- ^ The character to be used for indicating
@@ -58,7 +57,6 @@ defaultConfig =
            , width    = 1024
            , height   = 15
            , align    = "left"
-           , refresh  = 10
            , commands = []
            , sepChar  = "%"
            , template = "Uptime: <fc=#00FF00>%uptime%</fc> ** <fc=#FF0000>%date%</fc>"
-- 
cgit v1.2.3