On 24/11/2019 01:02, George N. White III wrote:
On Sat, 23 Nov 2019 at 17:19, Simon Colston <simon(a)colston.org>
> 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?
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
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.