From 15e8a65f65d42946dede3e060459f82926e9cb27 Mon Sep 17 00:00:00 2001 From: jao Date: Sun, 27 Jan 2019 22:59:43 +0000 Subject: API: exporting tenthSeconds --- examples/xmobar.hs | 3 ++- 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 (..) -- cgit v1.2.3