Re: New plugin line_numbering

Hi: Thanks for the quick, and confirmed, fix. Line numbers are now correctly assigned, thank you. Re @clean vs. @nosent, the thing I like about @nosent is that Leo does not re-read the exported file -- thus there's only one "true source" of the file, which suits my workflow well. I realize

Re: New plugin line_numbering

Try `@clean` instead of `@nosent`, they have the same function but @nosent is considered a bit archaic. Fixed at ccf76ca26c268a0ff On Sunday, January 28, 2018 at 10:49:43 PM UTC+1, John Hutchinson wrote: > > Hi: > > I'm running the latest Leo from Git. I just enabled this plugin. With >

Re: New plugin line_numbering

Hi: I'm running the latest Leo from Git. I just enabled this plugin. With "nosent" files (at least, since that's mostly what I use), there seems to be an "off-by-a-few" error in the displayed numbers. My outline is: @nosent foo.py @others (in body of @nosent node) Imports import xx

Re: New plugin line_numbering

Thanks for this. I just thought I might add, for other relative neophytes to Leo, you must have an updated version of Leo for it to work. (At least this was my experience). On Thursday, July 27, 2017 at 5:23:34 PM UTC-5, vitalije wrote: > > Revision 7fe3217e >

Re: New plugin line_numbering

> > > RuntimeError: generator didn't yield > > Please fix this :-) I don't think Leo's plugin handlers have a chance of > catching exceptions in callbacks. > Fixed at 2e9b9e5 . -- You received this

Re: New plugin line_numbering

On Sat, Aug 12, 2017 at 5:01 AM, vitalije wrote: > I don't know if it solved flicker, but rev a8c9ffc2 > > contains > some code aimed to skip unnecessary redraws. > ​This is much

Re: New plugin line_numbering

I don't know if it solved flicker, but rev a8c9ffc2 contains some code aimed to skip unnecessary redraws. If you look at onSelect handler in line_numbering plugin it merely calls request_update: def

Re: New plugin line_numbering

On Fri, Aug 11, 2017 at 3:48 AM, vitalije wrote: > I would like to eliminate the momentary flash between the calculation of >> the initial "local" line numbers and the eventual "global" numbers. >> > > IIRC I have intentionally put some delay in renumbering body, because it

Re: New plugin line_numbering

> > I would like to eliminate the momentary flash between the calculation of > the initial "local" line numbers and the eventual "global" numbers. > Vitalije, are you willing to look into this? > Sorry for delayed response. The last few days I was not at home. IIRC I have intentionally put

Re: New plugin line_numbering

On Thursday, July 27, 2017 at 5:23:34 PM UTC-5, vitalije wrote: Revision 7fe3217e > > contains > new plugin line_numbering.py. > The more I use this plugin, the more I like it. I particularly like

Re: New plugin line_numbering

On Fri, Jul 28, 2017 at 8:29 PM, zhaohe wang wrote: > Why dose linenumber start from 3 not 1 after run line-numbering-toggle? > ​Probably because there are two hidden sentinel comment lines preceding the first "visible" lines of the external file. Edward -- You received

Re: New plugin line_numbering

Why dose linenumber start from 3 not 1 after run line-numbering-toggle? 在 2017年7月28日星期五 UTC+8上午8:29:28，zhaohe wang写道： > > Could you explain the command *'toggle-line-numbering-root'* more info, I > can not understand it. Thanks! > > 在 2017年7月28日星期五 UTC+8上午6:23:34，vitalije写道： >> >> Revision

Re: New plugin line_numbering

ok, thanks! It is clear enough! 在 2017年7月28日星期五 UTC+8下午5:42:44，vitalije写道： > > On Friday, July 28, 2017 at 2:29:28 AM UTC+2, zhaohe wang wrote: >> >> Could you explain the command *'toggle-line-numbering-root'* more info, >> I can not understand it. Thanks! >> > > If you are developing a script

Re: New plugin line_numbering

On Friday, July 28, 2017 at 2:29:28 AM UTC+2, zhaohe wang wrote: > > Could you explain the command *'toggle-line-numbering-root'* more info, I > can not understand it. Thanks! > If you are developing a script that is not part of any file. You may have break this script into many descendant

Re: New plugin line_numbering

Could you explain the command *'toggle-line-numbering-root'* more info, I can not understand it. Thanks! 在 2017年7月28日星期五 UTC+8上午6:23:34，vitalije写道： > > Revision 7fe3217e > > contains > new plugn

New plugin line_numbering

Revision 7fe3217e contains new plugn line_numbering.py. This plugin when used with setting '@bool use-gutter=True', will show real line numbers (as they are in external file) in gutter. The effect of