rlopez1j / xmonad

Automatically exported from code.google.com/p/xmonad
0 stars 0 forks source link

sjanssenPP unlike defaultPP gives parsing error in xmobar if titlebar contains "{" and "}" char #115

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. echo -ne "\033]0;{mytitle}\007" && cat
2. or just: echo -ne "\033]0;mytitle}\007" && cat

What is the expected output? What do you see instead?
Should be {mytitle}, but there's a parsing error message instead.

What version of the product are you using? On what operating system?
xmonad 0.5 on ubuntu 7.10

note: defaultPP also messes up the placement of the "}" char, but at least
all the other chars are ok and there's no parsing error.

Original issue reported on code.google.com by iddo...@gmail.com on 31 Dec 2007 at 4:15

GoogleCodeExporter commented 9 years ago
I'm sure Spencer is using the alignSep option in .xmobarrc to set different 
character
for aligning text in xmobar.

take into account the XMonad.Hooks.DynamicLog also provides with useful pretty
printer default for xmobar: dynamicLogXmobar.

I would say that the module maintainer, Don, is a bit dzen biased, but I hardly 
think
of it as a bug.

I'd call this report as invalid... but I'll wait a bit...;)

Andrea

Original comment by andrea.rossato@gmail.com on 31 Dec 2007 at 4:32

GoogleCodeExporter commented 9 years ago
sorry for the typos (I pushed "Submit Changes" too early)... what I meant was:
XMonad.Hooks.DynamicLog provides a function, dynamicLogXmobar, which gives you 
some
nice pretty printer defaults to be used with xmobar.

Have a look at XMonad.Config.Arossato as an usage example.

andrea

Original comment by andrea.rossato@gmail.com on 31 Dec 2007 at 4:37

GoogleCodeExporter commented 9 years ago
Oops, right, I didn't notice alignSep in .xmobarrc, I changed it now to 
something
else, and everything seems to work ok.
Still not sure why defaultPP worked anyway and sjanssenPP didn't work (this led 
to my
confusion), but it's not important.
Apologies, please ignore this issue:(

Original comment by iddo...@gmail.com on 31 Dec 2007 at 11:39

GoogleCodeExporter commented 9 years ago

Original comment by byor...@gmail.com on 1 Jan 2008 at 8:28