Hi Edward
On Thursday, June 1, 2017 at 3:49:26 PM UTC+1, Edward K. Ream wrote:
>
> On Thu, May 18, 2017 at 4:29 PM, jkn <[email protected] <javascript:>
> > wrote:
>
>> Hi Edward
>> OK, here's a diff to leyKeys.py which seems to give the Command
>> History behaviour I like & expect ;-)
>>
>
> ​Thanks for this. Rev 0308cd applies the patch. It works well, and all
> unit tests pass. Many thanks for this work.
>
> Edward
>
Glad it was useful. I will probably raise the other as an enhancement
request, but getting @data history-list working 'seamless;y' will make a
big difference to me in any case. there would have to be some though given
as to how to reconcile this mechanism and the history given by commands
executed within a session in any case.
Regards
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.
