Hi Edward - a late followup to this:
On Friday, April 1, 2016 at 10:14:12 PM UTC+1, Edward K. Ream wrote:
>
> A recent question made me see that there was a big hole in the Cheat
> Sheet, namely how to use the minibuffer effectively. Here is the new
> section:
>
> Alt-X puts focus in the minibuffer. Ctrl-G escapes from the minibuffer.
>
> Once there, you can use tab completion to reduce typing. For example,
> <Alt-X>open<tab> shows all commands that start with open.
>
> Hit <Enter> to run a complete command.
>
> Ctrl-P (repeat-complex-command) repeat the last command entered from the
> minibuffer.
>
> Leo maintains a *command history list* of all minibuffer commands you
> have entered.
>
> When focus is in the minibuffer, UpArrow shows the previous minibuffer
> command, and DnArrow show the commands before that.
>
> The body text of an @data history-list *setting node* preloads commands
> into the command history list, ignoring lines starting with '#'. For
> example::
>
> run-pylint
> beautify-tree
> cff
> sort-lines
> # show-data
> check-clones
> expand-log-pane
> contract-log-pane
>
> Edward
>
The operation of this seems a bit unexpected to me. With the entries in
your list above, from startup:
- I press UP-arrow to get the 'first' entry (pylint)
- I have to then press DOWN-arrow to get the rest (in sequence:
beautify-tree || cff || sort-lines || etc.). This seems a little illogical
I would expect UP-arrow to give me the last entry in the node:
'contract-log-pane' in this case
Then a 2nd UP-arrow gives me 'expand-log-pane', then DOWN-arrow to give me
'contract-log-pane' again, etc.
Also, I thought I had read that Leo saves command history between sessions,
but this doesn't seem to be the case. Am I misremembering? (if so, the
@data command-history will probably be good enough for me).
Thanks
Jon N
--
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.
