On Sat, Apr 28, 2018 at 5:19 PM, Terry Brown <[email protected]> wrote:
> > Just in case it helps I noticed that Ctrl-A backspace didn't seem to > work to clear the log, as it used to. Trivial workaround Ctrl-A delete > instead, but just mentioning in case it's diagnostic for Lewis's issue. > ​Fixed at dff7ffefd in devel. It's possible that this second fix would also have fixed Lewis's issue, but in fact there were two separate bugs involved, so it's good Lewis reported his bug first ;-) 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
