On Thursday, July 13, 2017 at 11:33:16 AM UTC+1, Edward K. Ream wrote:
>
> On Thu, Jul 13, 2017 at 5:22 AM, Edward K. Ream <edre...@gmail.com
> <javascript:>> wrote:
>
> >> confusingly to me, the keys they are bound to are called "Ctrl+Next"
> and "Ctrl+Prior".
>
> > The names come from Tk (iirc). Again, they can't be removed, but new
> names could be added. This would be surprisingly complicated, but would be
> worth doing.
>
> > I'll add an enhancement request.
>
> Done. #524 <https://github.com/leo-editor/leo-editor/issues/524>.
>
> Edward
>
Thank you. I appreciate you following up on these little niceties.
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 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.
