Re: ctrl+tab switching

[Kai <kai willadsen gmail com>]

On Wed, 16 Sep 2020 at 07:02, Donjan Rodic <drodic phys ethz ch> wrote:

After having used it for a couple of days, I'm happy to report that it works well. (binds in ui/notebook.py & unbinds in resources/meld.css)
Thank you!

These shortcuts are mightily useful IMO... any chances an MR with these changes would get accepted?

Not really, I'm sorry. I'm glad that it's working for you, but I have a strong aversion to changing toolkit-level behaviour if we can avoid it. In this case in particular, there are already established standard GNOME shortcuts for changing notebook pages that we support. I would also feel particularly bad about removing existing focus handling shortcuts; I don't use them, but I wouldn't want to discount e.g., accessibility concerns that this would cause.

cheers,

Kai