diff options
| -rw-r--r-- | examples/xmobar.hs | 3 | ||||
| -rw-r--r-- | src/Xmobar.hs | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/examples/xmobar.hs b/examples/xmobar.hs index 05c77ca..4df8722 100644 --- a/examples/xmobar.hs +++ b/examples/xmobar.hs @@ -1,6 +1,6 @@ ------------------------------------------------------------------------------ -- | --- Copyright: (c) 2018 Jose Antonio Ortega Ruiz +-- Copyright: (c) 2018, 2019 Jose Antonio Ortega Ruiz -- License: BSD3-style (see LICENSE) -- -- Maintainer: jao@gnu.org @@ -30,6 +30,7 @@ instance Exec HelloWorld where -- Configuration, using predefined monitors as well as our HelloWorld -- plugin: +config :: Config config = defaultConfig { font = "xft:Sans Mono-9" , additionalFonts = [] diff --git a/src/Xmobar.hs b/src/Xmobar.hs index 2707a66..274d8fc 100644 --- a/src/Xmobar.hs +++ b/src/Xmobar.hs @@ -3,7 +3,7 @@ ----------------------------------------------------------------------------- -- | -- Module : Xmobar --- Copyright : (c) 2011, 2012, 2013, 2014, 2015, 2017, 2018 Jose Antonio Ortega Ruiz +-- Copyright : (c) 2011, 2012, 2013, 2014, 2015, 2017, 2018, 2019 Jose Antonio Ortega Ruiz -- (c) 2007 Andrea Rossato -- License : BSD-style (see LICENSE) -- @@ -19,6 +19,7 @@ module Xmobar (xmobar , xmobarMain , defaultConfig , configFromArgs + , tenthSeconds , Runnable (..) , Exec (..) , Command (..) |