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 /examples | |
parent | 058d3831ffeffcf8acc82eb96095c614101c5d0a (diff) | |
download | xmobar-15e8a65f65d42946dede3e060459f82926e9cb27.tar.gz xmobar-15e8a65f65d42946dede3e060459f82926e9cb27.tar.bz2 |
API: exporting tenthSeconds
Diffstat (limited to 'examples')
-rw-r--r-- | examples/xmobar.hs | 3 |
1 files changed, 2 insertions, 1 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 = [] |