Hi Satheesh.
I'm new to Leo, but am really impressed by it.
I found this note...
C:\Program Files (x86)\Leo-5.1-final\leo\config\leoSettings.leo#About this
file, leoSettings.leo--> Basic setting nodes-->@font
... where it says...
**Important**: these nodes **only** specify fonts used by Leo's syntax
colorizer.
To set fonts in Leo's widgets, change Leo's master style sheet::
@data qt-gui-plugin-style-sheet
Valid values for the body of @font nodes::
family: a font family name
size: an integer
weight: bold, normal, None
slant: roman, italic, None
Use the show-fonts command to pick fonts, then copy the values shown by
the
show-fonts command to the values here.
... and also ...
C:\Program Files (x86)\Leo-5.1-final\leo\config\leoSettings.leo#About
myLeoSettings.leo
... where it says...
@language rest
myLeoSettings.leo contains your personal settings.
Settings in myLeoSettings.leo override the settings in this file.
Put myLeoSettigns.leo in your home (~) directory or in the ~/.leo directory.
Distributions of Leo do not contain myLeoSettings.leo; Leo never
changesyour personal myLeoSettings.leo file.
... but have not made any changes to my system yet. Would be great to
reform the fonts and other settings to be closer to what you have
described.
Cheers.
-Richard
On Wednesday, December 30, 2015 at 7:57:48 AM UTC-8, Satheesh Vattekkat
wrote:
>
> Did you try this menu item:
>>
>> Settings -> Edit Settings -> Fonts -> Body fonts -> Size
>>
>>
> This didn't work; I think it is something to do with leo10pt.leo. Even
> zoom-in doesn't work when I use any of the leo*pt.leo data nodes. If I
> don't have that node in my settings, then this Edit Settings thing works.
>
> I will work backwards by adding my own custom gui css node with basic
> things first... Thanks for the tip.
>
> PS: To most colleagues, the original Tk colorscheme invokes an instant
> dislike; when I change to these gray color schemes, people find it very
> professional and in tune with modern UI themes. Just a side note.
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
