Additionally, the body frame border does not extend around the line gutter. My intuition tells me that it should as right now it just doesn't look right. I think a further justification would be for people who choose wider frame borders it will definitely look off.
On Wednesday, July 1, 2015 at 4:22:33 PM UTC-4, john lunzer wrote: > > 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]> 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.
