> Well that's getting a key binding. Must admit ... how to add a key binding?
Tried @settings @keys toggle-at-auto-at-edit = F5 but that didn't do it. Thanks, Kent On Sun, Jun 18, 2017 at 10:33 AM, Terry Brown <terrynbr...@gmail.com> wrote: > On Sun, 18 Jun 2017 02:15:27 -0700 (PDT) > "Edward K. Ream" <edream...@gmail.com> wrote: > > > This completes #482 > > <https://github.com/leo-editor/leo-editor/issues/482>, one of the > > Ashland items. This command is surprisingly useful. It toggles > > between a flattened view (@edit) and an outline view (@auto) of an > > external file containing no sentinels. > > Well that's getting a key binding. Extremely useful. Thanks Kent for > the idea and Edward for the implementation. My two common use cases, > where some directory import has imported files as @auto or @edit when I > would (perhaps later) prefer the other, and for one pager programs > imported as @auto where @edit makes more sense. > > Cheers -Terry > > > As Kent pointed out when we met in Ashland, the real value added by > > this command is preserving the presently selected line when > > flattening/un-flattening the outline. To make this useful in > > practice, you can run this command from any descendant of an @auto > > node. There aren't any descendants of @edit trees :-) > > > > The code is just a bit tricky. Please report any problems. > > > > Edward > > > > -- > 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. > -- 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.