diff options
author | Eric Mertens <emertens@galois.com> | 2007-10-18 02:16:52 +0200 |
---|---|---|
committer | Eric Mertens <emertens@galois.com> | 2007-10-18 02:16:52 +0200 |
commit | 4854b8000e86fc2843f001ce1f4433a39a69a6dc (patch) | |
tree | 0ad298471af5e55799752c82a3e4f8b3b2f20c47 /WindowPrompt.hs | |
parent | 7038d3f605ac236cbefe9abf9ca9605f866cdf7f (diff) | |
download | XMonadContrib-4854b8000e86fc2843f001ce1f4433a39a69a6dc.tar.gz XMonadContrib-4854b8000e86fc2843f001ce1f4433a39a69a6dc.tar.xz XMonadContrib-4854b8000e86fc2843f001ce1f4433a39a69a6dc.zip |
DynamicLog.hs: Add ppWsSep field to PP to specify workspace separator.
This can be useful when you are using colors to distinguish between
workspaces and simply provides more functionality. The default behavior
remains the same.
darcs-hash:20071018001652-b49f3-2fc4fa9e2412b77e18f34969b45acb3ffb2c16f6.gz
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions