mirror of
https://github.com/xmonad/xmonad-contrib.git
synced 2025-05-19 03:20:21 -07:00
commit
ff391de17d
@ -117,6 +117,8 @@
|
|||||||
`workspaceNamesPP`, `marshallPP` and/or `clickablePP` to compose
|
`workspaceNamesPP`, `marshallPP` and/or `clickablePP` to compose
|
||||||
intuitively.
|
intuitively.
|
||||||
|
|
||||||
|
- Added `xmobarFont` for selecting an xmobar font index
|
||||||
|
|
||||||
|
|
||||||
* `XMonad.Hooks.StatusBar`
|
* `XMonad.Hooks.StatusBar`
|
||||||
|
|
||||||
|
@ -36,7 +36,7 @@ module XMonad.Hooks.StatusBar.PP (
|
|||||||
|
|
||||||
-- * Formatting utilities
|
-- * Formatting utilities
|
||||||
wrap, pad, trim, shorten, shorten', shortenLeft, shortenLeft',
|
wrap, pad, trim, shorten, shorten', shortenLeft, shortenLeft',
|
||||||
xmobarColor, xmobarAction, xmobarBorder,
|
xmobarColor, xmobarFont, xmobarAction, xmobarBorder,
|
||||||
xmobarRaw, xmobarStrip, xmobarStripTags,
|
xmobarRaw, xmobarStrip, xmobarStripTags,
|
||||||
dzenColor, dzenEscape, dzenStrip, filterOutWsPP,
|
dzenColor, dzenEscape, dzenStrip, filterOutWsPP,
|
||||||
|
|
||||||
@ -286,6 +286,12 @@ dzenStrip = strip [] where
|
|||||||
| otherwise = let (good,x') = span (/= '^') x
|
| otherwise = let (good,x') = span (/= '^') x
|
||||||
in strip (keep ++ good) x'
|
in strip (keep ++ good) x'
|
||||||
|
|
||||||
|
-- | Use xmobar escape codes to output a string with the font at the given index
|
||||||
|
xmobarFont :: Int -- ^ index: index of the font to use (0: standard font)
|
||||||
|
-> String -- ^ output string
|
||||||
|
-> String
|
||||||
|
xmobarFont index = wrap ("<fn=" ++ show index ++ ">") "</fn>"
|
||||||
|
|
||||||
-- | Use xmobar escape codes to output a string with given foreground
|
-- | Use xmobar escape codes to output a string with given foreground
|
||||||
-- and background colors.
|
-- and background colors.
|
||||||
xmobarColor :: String -- ^ foreground color: a color name, or #rrggbb format
|
xmobarColor :: String -- ^ foreground color: a color name, or #rrggbb format
|
||||||
|
Loading…
x
Reference in New Issue
Block a user