On Wednesday, April 1, 2015 at 4:44:26 AM UTC-5, jkn wrote:

> I have a notion of a 'command history list' which is in general appended 
to:
> - list starts off empty []

 Except that soon @command and @button nodes will add items to this list.

> Iirc, the difference between this and the current implementation seems to 
be around the order in which commands appear in the command history list, 
and/or how the up/down keys are used to navigate to previous/next command.

Yes, the present code isn't quite right.  I would rather not create a 
separate bug report for this. I have just updated bug  #172 
<https://github.com/leo-editor/leo-editor/issues/172> to remind me to look 
at this.

> Oh, a possible useful addition is to have a way on *not* having a command 
appended to the list. Bash does this if you start a command line with a 
space. Either that or, say a shriek '!' prefix?

A reasonable thing to want. It should be easy enough to do. Please file a 
separate bug report.

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

Reply via email to