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 other workflows may prefer that changes in the external file are re-synched back into the Leo file, but for me that's one extra source of (possible) confusion. Regards, =John On Monday, January 29, 2018 at 5:02:17 AM UTC-5, vitalije wrote: > > 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 >> "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 (in body of "imports" node) >> >> >> In the file "foo.py", the "import xx" is the first line >> >> It is numbered 5 in the gutter of the body pane for the node. >> >> I tried various "toggle-line-numbering-root" command, but this did not >> seem to make any difference. >> >> Is this something specific to "nosent" nodes, or ?? >> >> Thanks! >> =John >> >> On Thursday, July 27, 2017 at 6:23:34 PM UTC-4, vitalije wrote: >>> >>> Revision 7fe3217e >>> <https://github.com/leo-editor/leo-editor/commit/7fe3217e5fd2ab32b5a5c92647b2a285cf805e4b> >>> 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 >>> this plugin can be temporarily turned off and on using new command >>> 'line-numbering-toggle'. The plugin also allows to mark a node as fictive >>> root for line numbering purposes using command 'toggle-line-numbering-root'. >>> >>> Vitalije >>> >> -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
