On 24/11/2019 01:02, George N. White III wrote:
On Sat, 23 Nov 2019 at 17:19, Simon Colston simon@colston.org wrote:
On 23/11/2019 19:15, Samuel Sieb wrote:
On 11/22/19 12:25 AM, Simon Colston wrote:
So my question is, how can I disable these unwanted keyboard shortcuts?
I don't think you can. They appear to be hardcoded in gnome-shell or
mutter. Can you change the IME shortcut?
https://www.beatworm.co.uk/blog/keyboards/gnome-wayland-xkb describes the frustrations in setting up custom mappings for gnome-wayland.
Yes that's a long way to go for the minor inconvenience I'm experiencing!
The above link mentions: https://wiki.gnome.org/ThreePointFive/Features/IBus where there is information on the current status of Gnome input methods and keyboards.
Most of the bugs on that page were raised in 2012 and appear to be resolved/fixed. Maybe there is not much work in this area at the moment.
Thanks for the info though.