Hi,
I also would be interested in using ctrl+tab switching.
I know about gnome shortcuts, but they are not always the best
selection.
How about having a setup switch to choose between gnome shortcuts
and user defined shortcuts?
Lots of apps let the user define their own shotcuts.
Cheers,
Claudio
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
_______________________________________________ meld-list mailing list meld-list gnome org https://mail.gnome.org/mailman/listinfo/meld-list