Edward, just in awe of Leo and its champion! The line gutter is magnificent, everything I thought it would be and more.
I'm having an issue with the colors. They aren't registering. I'm using the Leo Dark theme (solarized) and it's just using my default background and text colors regardless of what the bg/fg settings are, which makes it not a big deal but eventually I'd like to set the colors to be a little darker than the rest of Leo. On Wednesday, July 1, 2015 at 1:27:31 PM UTC-4, Terry Brown wrote: > > On Wed, 1 Jul 2015 06:45:46 -0700 (PDT) > "Edward K. Ream" <[email protected] <javascript:>> wrote: > > > This completes #186 > > <https://github.com/leo-editor/leo-editor/issues/186>: Left Gutter > > Line numbers > > I noticed a couple of things: > > - for @auto, it seems it's displaying body relative, rather than file > relative, line numbers > > - it slows down text handling so that given a line like: > > common2code['Yellow-shafted Flicker'] = common2code['Northern Flicker'] > > if I put the cursor in front of the Y and hold down delete to clear > the quotes, the overrun that occurs when I take my finger off delete > as the cursor reaches the closing quote is excessive. This happens > even if the above code is the only code in the body. > > This problem exists to a degree without gutters enabled, so maybe > the only real solution is to avoid processing aged key events, but > enabling gutters makes it noticeably worse. > > Aside: I regret contributing nothing to Leo recently except whiny > complaints about exciting new features, but a recent conspiracy of work > deadlines has been followed by some significant family events which > have now created to backlog at work, so I'm using Leo all the time, but > haven't had time to do anything Leo related for a while. > > 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. For more options, visit https://groups.google.com/d/optout.
