On Mon, 7 Sep 2009 07:50:24 +1000, Lex Trotman elextr@gmail.com wrote:
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 :-)
I'm not at all. I just added another Scintilla message in the past and so I basically still knew where to add the necessary code :).
Regards, Enrico