On Mon, 19 Jun 2017 13:31:47 -0500
Kent Tenney <kten...@gmail.com> wrote:
> > Well that's getting a key binding.
>
> Must admit ... how to add a key binding?
>
> Tried
> @settings
> @keys
> toggle-at-auto-at-edit = F5
@settings
@keys
@shortcuts
toggle-at-auto-at-edit = F5
Cheers -Terry
> 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.
