No. As you say, they should do nothing if not bound to something more useful.
I see this on Ubuntu, but not on Windows.
The easiest (best??) solution will be to add the following bindings to
leoSettings.leo:
do-nothing = ctrl-Down
do-nothing = ctrl-Up
This takes care of the problem, and indeed is a general solution for
all similar kinds of problems.
Otoh, it's possible that an "internal" solution would be more
reasonable. That is, it would seem natural to ignore unbound
*modified* arrow keys. I'll look into it, but expect to see the
binding above added to leoSettings.leo soon.
Edward
>expect to see the binding above added to leoSettings.leo soon.
Done at rev 5050. All unit tests pass with the do-nothing bindings.
EKR
>> Done at rev 5050. All unit tests pass with the do-nothing bindings.
>
> Your fix works for me. Thanks.
Glad to hear it.
Edward
Thanks: I'll assign them to do-nothing by default in leoSettings.leo.
Edward
Done at rev 5070.
Edward