True, thats why I said I'd done it the wrong way. But it only took half an hour, I don't have the time or knowledge to add a message to Scintilla.
Last week I spent a little time to write the necessary code around your initial patch, sent it to the Scintilla mailing list and it got committed. So, with the next Scintilla release, we can add a preference for the size of the space character dots :).
I think we could wait for the next Scintilla release, 2.02, and then update our copy in Geany.
Great, If I'd known you were a Scintilla expert I'd have asked for more assistance :-)
Cheers Lex
Regards, Enrico
-- Get my GPG key from http://www.uvena.de/pub.asc
Geany mailing list Geany@uvena.de http://lists.uvena.de/cgi-bin/mailman/listinfo/geany