Your changes in rev 5674 (zoom in/out) don't work for me. It's not ok to
disable the border around the active pane.
The problems appear to be confined to add_border and remove_border
disabling the lines::
return # handled by stylesheet
make Leo work as I want. I'll agree to the changes only if you tell me how
to get the same effect from the stylesheet.
Edward
--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.