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?
If they are hard-coded it's probably best not to fight against it. I can change the
IME shortcut so I'll do that.
While looking into this I came across this post:
so I installed dconf-editor and the shortcuts are there.
Bit worried that customising it here is going to cause me problems down the road.
Thanks for helping out and I'll just change the IME shortcut.