On Oct 23, 4:43 pm, "Edward K. Ream" <[email protected]> wrote:
> > In short, I'll choose my code in qtGui.py and leoSettings.leo, but add
> > Terry's fix.
In the excitement, I forgot to mention the settings I defined. Here
they are, with defaults as shown if no setting exists::
@bool use_focus_border = True
@int focus_border_width = 1
@color focus_border_color = red
EKR
--
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.
