Change symbol for whitespace highlight
is it possible to change symbols (or its font) used for whitespace highlighting?
My problem is, that middle dot (which represent space) is so small that I have sometimes problem to notice it. I would like to have it bigger. And unlike text, it’s size doesn’t seem to change when zooming in.
if you have a plugin installed, which could manipulate the scintilla editor,
like python script, lua script, nppexec,… you could use the message
SCI_SETWHITESPACESIZE(int size) to make it bigger.
e.g editor.setWhitespaceSize(3) (python)