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
Am 18.09.20 um 23:58 schrieb Kai via meld-list:
On Wed, 16 Sep 2020 at 07:02, Donjan Rodic <dro...@phys.ethz.ch
<mailto:dro...@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
_______________________________________________
meld-list mailing list
meld-list@gnome.org
https://mail.gnome.org/mailman/listinfo/meld-list