> 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.
