Re: [code] [scintillua] font size settings ignored

From: Mitchell <>
Date: Thu, 11 Oct 2012 13:43:13 -0400 (Eastern Daylight Time)


On Thu, 11 Oct 2012, Baksa Tibor wrote:

> Hi,
> Thanks, it works! I'm new to Scintillua, this is why I didn't notice the
> themes directory.

I will add a note in the documentation to make this more clear. Thanks for
bringing it up.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Thu 11 Oct 2012 - 13:43:13 EDT

This archive was generated by hypermail 2.2.0 : Fri 12 Oct 2012 - 06:31:06 EDT