diff options
| author | jao <jao@gnu.org> | 2019-01-27 22:59:43 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2019-01-27 22:59:43 +0000 |
| commit | 15e8a65f65d42946dede3e060459f82926e9cb27 (patch) | |
| tree | d6357877919467260738f213ff9c55d7973b15a1 | |
| parent | 058d3831ffeffcf8acc82eb96095c614101c5d0a (diff) | |
| download | xmobar-15e8a65f65d42946dede3e060459f82926e9cb27.tar.gz xmobar-15e8a65f65d42946dede3e060459f82926e9cb27.tar.bz2 | |
API: exporting tenthSeconds
| -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 (..) |