On Thu, Nov 3, 2011 at 6:55 AM, Ville M. Vainio <[email protected]> wrote:

> Is there a way to disable this red border? It's quite offensive to my
> sensibilities, to the extent that it hurts my concentration when
> writing.

@bool use_focus_border = False disables all borders.

> It's also likely to nullify all the theming work being done
> elsewhere to make Leo more appealing and professional looking.

The theme work will replace the present code, so there should be no worries.

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.

Reply via email to