Change line-end marker?
Submitted by Sunday, 16 September, 2007 - 15:47
on
Hello,
is it possible to change the line-end marker in jEdit? The dot confuses me, I would prefer the well-known Pilcrow sign.
is it possible to change the line-end marker in jEdit? The dot confuses me, I would prefer the well-known Pilcrow sign.