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 > <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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
