Since the default fonts look a bit crappy and too big on Linux
systems, here is a suggestion of sensible (smaller and more readable)
fonts. This is for the "normal", non-antialiased fonts
(pre-python-2.6). Just copy the xml data starting below to your
clipboard and ctrl+shift+v to your myLeoSettings, under @settings:

<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet ekr_test?>
<leo_file>
<leo_header file_format="2"/>
<vnodes>
<v t="ville.20080920145943.3" a="E" annotate="7d71002e"><vh>Fonts</vh>
<v t="ville.20080920145943.4"><vh>@font body text font</vh></v>
<v t="ville.20080920145943.5"><vh>@font button font</vh></v>
<v t="ville.20080920145943.6"><vh>@font log font</vh></v>
<v t="ville.20080920145943.7"><vh>@font menu text font</vh></v>
<v t="ville.20080920145943.8"><vh>@font outline font</vh></v>
</v>
</vnodes>
<tnodes>
<t tx="ville.20080920145943.3">@nocolor
@

Valid values:

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.

@c

import sys ; print sys.platform
</t>
<t tx="ville.20080920145943.4">body_text_font_family = fixed
body_text_font_size = 11
body_text_font_slant = None
body_text_font_weight = None
</t>
<t tx="ville.20080920145943.5">button_text_font_family = fixed
button_text_font_size = 8
button_text_font_slant = roman
button_text_font_weight = normal
</t>
<t tx="ville.20080920145943.6"># The font for the log pane. Default is
default font for Tk.Text widgets.
# Tk translates invalid font names to another font in a system-dependent way.
#
# Default size is 12 for Linux, 9 otherwise.

log_text_font_family = Courier
log_text_font_size = 9
log_text_font_slant = roman
log_text_font_weight = normal
</t>
<t tx="ville.20080920145943.7">menu_text_font_family = None
menu_text_font_size = None
menu_text_font_slant = None
menu_text_font_weight = None</t>
<t tx="ville.20080920145943.8">headline_text_font_family = fixed
headline_text_font_size = 11
headline_text_font_slant = roman
headline_text_font_weight = normal
</t>
</tnodes>
</leo_file>

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to