Hi Edward
I was looking for a way to configure Leo so that Headline text is shewn
in bold. Although I don't think this is the right place for me to be
looking ;-/, I think there may be a typo in leoSettings.leo:
<v t="ekr.20140912075503.19292"><vh>Colors for headlines that *are* being
edited</vh> <v t="ekr.20140912075503.19293"><vh>@color head-fg =
black</vh></v> <v t="ekr.20140912075503.19294"><vh>@color head-bg =
pink</vh></v> <v t="ekr.20140912075503.19295"><vh>@color head-sel-fg =
white</vh></v> <v t="ekr.20140912075503.19296"><vh>@color head-sel-bg =
blue</vh></v> </v> <v t="ekr.20140912075503.19301"><vh>Colors for
headlines that are *not* being edited</vh> <v
t="ekr.20140912075503.19302"><vh>@@string edit-label-border = 2px</vh></v> <v
t="ekr.20140912075503.19303"><vh>@@string edit-label-margin = 2px</vh></v> <v
t="ekr.20140912075503.19304"><vh>@color edit-label-bg =
@LightSteelBlue1</vh></v> <v t="ekr.20141204160426.5"><vh>@color
edit-label-fg = black</vh></v>
Aren't the 'colors for...' headlines the wrong way round? [*are*/*not*].
Tho' I appreciate this won't affect functionality...
Regards
jon N
--
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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
