diff options
author | jao <jao@gnu.org> | 2018-07-10 16:21:26 +0100 |
---|---|---|
committer | jao <jao@gnu.org> | 2018-07-10 16:23:11 +0100 |
commit | a2365debfaba478042184f5831675d1b08172cc7 (patch) | |
tree | abb4b37777ab965303b0a4a974d5dea9956af9d8 /src/Config.hs | |
parent | 741b803b943430a262ec36658b13830733e17b48 (diff) | |
download | xmobar-a2365debfaba478042184f5831675d1b08172cc7.tar.gz xmobar-a2365debfaba478042184f5831675d1b08172cc7.tar.bz2 |
New configuration parameter `textOffsets` (fixes #311)
Diffstat (limited to 'src/Config.hs')
-rw-r--r-- | src/Config.hs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/Config.hs b/src/Config.hs index b131648..c9ce1a8 100644 --- a/src/Config.hs +++ b/src/Config.hs @@ -56,6 +56,7 @@ data Config = , fgColor :: String -- ^ Default font color , position :: XPosition -- ^ Top Bottom or Static , textOffset :: Int -- ^ Offset from top of window for text + , textOffsets :: [Int] -- ^ List of offsets for additionalFonts , iconOffset :: Int -- ^ Offset from top of window for icons , border :: Border -- ^ NoBorder TopB BottomB or FullB , borderColor :: String -- ^ Border color @@ -125,6 +126,7 @@ defaultConfig = , borderWidth = 1 , textOffset = -1 , iconOffset = -1 + , textOffsets = [] , hideOnStart = False , lowerOnStart = True , persistent = False @@ -151,8 +153,8 @@ infixr :*: -- the 'Runnable.Runnable' Read instance. To install a plugin just add -- the plugin's type to the list of types (separated by ':*:') appearing in -- this function's type signature. -runnableTypes :: Command :*: Monitors :*: Date :*: PipeReader :*: BufferedPipeReader :*: CommandReader :*: StdinReader :*: XMonadLog :*: EWMH :*: Kbd :*: Locks :*: - Mail :*: MBox :*: - DateZone :*: MarqueePipeReader :*: - () +runnableTypes :: Command :*: Monitors :*: Date :*: PipeReader :*: + BufferedPipeReader :*: CommandReader :*: StdinReader :*: + XMonadLog :*: EWMH :*: Kbd :*: Locks :*: Mail :*: MBox :*: + DateZone :*: MarqueePipeReader :*: () runnableTypes = undefined |