On Fri, Apr 12, 2013 at 9:01 AM, Terry Brown <[email protected]>wrote:
> On Fri, 12 Apr 2013 08:18:18 -0500 > Terry Brown <[email protected]> wrote: > > > Does > > > https://groups.google.com/forum/?fromgroups=#!topic/leo-editor/4z5fv-Y-e8M > > not work? The part starting "Edward..." :-) > No, it doesn't seem to work. > > 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. > Thanks. Everything seems to work with add/remove_border enabled. Setting @focused-border-style = solid in @data qt-gui-plugin-style-sheet does not work for me. 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.
