Change symbol for whitespace highlight

Matyáš Krupička

Hello all,
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.
Thank you

Claudia Frank

@Matyáš-Krupička

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)

Cheers
Claudia