On Mon, Aug 4, 2014 at 4:29 PM, 'Terry Brown' via leo-editor <leo-editor@googlegroups.com> wrote:
>> How would you recommend doing [colored borders] with stylesheets? > > I'd do this: > > w = widget.to.be.styled() [snip] Thanks! I'll try this soon. For me, it would be a better indication of mode than different cursors, and would have zero impact on Leo's core, unlike futzing with the insertion point. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.