On Fri, 12 Apr 2013 08:18:18 -0500 Terry Brown <[email protected]> wrote:
> > 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. > > Does > https://groups.google.com/forum/?fromgroups=#!topic/leo-editor/4z5fv-Y-e8M > not work? The part starting "Edward..." :-) Ooops, never mind, turns out the add/remove_border calls were not interfering with the zoom in/out feature, it was set_editor_color - not sure why, as all call update_stylesheet. So, to save time let's just stick with the existing code. The stylesheet based approach may still be the lighter approach, but I don't time to make sure all the functionality of the add/remove_border code is preserved. Cheers -Terry -- 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.
