On 07/18/2009 05:03 AM, Pol wrote:
Is it possible to change the mark for extra space (ctrl-space)? How to change its color as well, independently from the TeX code color? I would that mark less visible.
You can't do this---except by changing the code itself. rh
