On 23/11/2019 15:12, stan via users wrote:
On Fri, 22 Nov 2019 08:25:29 +0000
Simon Colston <simon(a)colston.org> wrote:
> Fedora Workstation 31 GNOME
> So my question is, how can I disable these unwanted keyboard
From your description, it sounds like an application is grabbing these
keys, and that the application is Gnome itself. I don't use Gnome, but
I have seen here people recommending 'Gnome tweak tool' as a way to
change Gnome options. It might also be possible to change this in the
application itself to something else, say Ctrl+ or WinMenu+. There is
a small chance that this is Wayland; I can't advise how to fix that as
I am unfamiliar with it, but a search should turn up options.
I have the gnome tweak tool and it does not have an option to control these keyboard
The above assumes that the keys aren't hard coded into the application;
that shouldn't be the case these days, but if it is, you would have to
download the src.rpm, unpack it using rpmbuild, create a patch to
override the encoded default, rebuild the binary rpm, and install it.
To prevent it from being replaced on update, you would then have to
block updates in /etc/dnf/dnf.conf. Major hassle.
Yes, major hassle. A bit of googling with your hint that it could be Wayland and it does
seem to point at Wayland being
the problem. No easy fixes though.
Thanks for your suggestions.