diff options
author | Krzysztof Kosciuszkiewicz <k.kosciuszkiewicz@gmail.com> | 2007-07-05 17:28:15 +0200 |
---|---|---|
committer | Krzysztof Kosciuszkiewicz <k.kosciuszkiewicz@gmail.com> | 2007-07-05 17:28:15 +0200 |
commit | 8e776294736c5f8178517f0be09a1dd78e6a5fcf (patch) | |
tree | fb4f9fd37ca3555ed4ffb1b781003a5b002b90a8 /Config.hs | |
parent | aeacd762e4669d7dc0bb27920a45bd7b85ccc5a2 (diff) | |
download | xmobar-8e776294736c5f8178517f0be09a1dd78e6a5fcf.tar.gz xmobar-8e776294736c5f8178517f0be09a1dd78e6a5fcf.tar.bz2 |
Fix few config name typos
darcs-hash:20070705152815-ba08c-f5840daee9eeeae5eda5d37c9188583537c58583.gz
Diffstat (limited to 'Config.hs')
-rw-r--r-- | Config.hs | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -23,18 +23,18 @@ module Config ( -- * Configuration -- | The configuration data type data Config = - Config { fonts :: String -- ^ Fonts + Config { font :: String -- ^ Font , bgColor :: String -- ^ Backgroud color , fgColor :: String -- ^ Default font color , xPos :: Int -- ^ x Window position (origin in the upper left corner) , yPos :: Int -- ^ y Window position , width :: Int -- ^ Window width - , hight :: Int -- ^ Window hight + , height :: Int -- ^ Window height , align :: String -- ^ text alignment , refresh :: Int -- ^ Refresh rate in tenth of seconds - , commands :: [(String, Int, [String])] -- ^ For setting the refresh rate and - -- options for the programs to run (optionals) - , sepChar :: String -- ^ The character to be used for indicating + , commands :: [(String, Int, [String])] -- ^ For setting the refresh rate and + -- options for the programs to run (optional) + , sepChar :: String -- ^ The character to be used for indicating -- commands in the output template (default '%') , template :: String -- ^ The output template } deriving (Eq, Show, Read, Ord) @@ -42,13 +42,13 @@ data Config = -- | The default configuration values defaultConfig :: Config defaultConfig = - Config { fonts = "-misc-fixed-*-*-*-*-10-*-*-*-*-*-*-*" + Config { font = "-misc-fixed-*-*-*-*-10-*-*-*-*-*-*-*" , bgColor = "#000000" , fgColor = "#BFBFBF" , xPos = 0 , yPos = 0 , width = 1024 - , hight = 15 + , height = 15 , align = "left" , refresh = 10 , commands = [("date", 10, [])] |