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.

Thank you
---p

Reply via email to