On Mon, Oct 3, 2011 at 11:40 AM, Edward K. Ream <[email protected]> wrote:
> On Sat, Oct 1, 2011 at 6:11 AM, Kent Tenney <[email protected]> wrote:
>
>> I wasted a little time fussing with the @font settings before discovering
>> @data qt-gui-plugin-stylesheet
>>
>> The node leoSettings.leo#About this file--> Basic setting nodes:
>> @type-name setting-name = value-->@font
>>
>> gives information for ... tk? ...
>
> Thanks for this. I'll clean this up today.
Done at rev 4523. I made the following changes:
1. @font nodes *are* used, but only to specify fonts used in syntax
coloring. This can give very cool effects.
I added the following at the start of the description of @font nodes::
QQQQQ
**Important**: these nodes **only** specify fonts used by Leo's
syntax colorizer.
To set fonts in Leo's widgets, change Leo's master sytle sheet::
@data qt-gui-plugin-style-sheet
QQQQQ
2. At long last I removed the old Tk colorizer code from leoColor.py.
This file now contains only Leo's color database. Leo's core does not
use this this data, but plugins (including personal plugins) might use
it, so it will never go away. All unit tests pass.
3. Removed the settings specific to the old Tk colorizer from leoSettings.leo.
4. Removed a few miscellaneous unused settings from leoSettings.leo.
5. Added a clone of @data qt-gui-plugin-style-sheet in one or two new
places, and added the following comment at the start of the node::
/*
Important: this stylesheets is responsible for most, but *not*
all, of Leo's appearance.
See also settings in "Colorizer and colors"
*/
In short, the old colorizer is gone, and leoSettings.leo is cleaner than ever.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/leo-editor?hl=en.
