>>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 > [email protected] > http://lists.uvena.de/cgi-bin/mailman/listinfo/geany > > _______________________________________________ Geany mailing list [email protected] http://lists.uvena.de/cgi-bin/mailman/listinfo/geany
