On Mon, Apr 06, 2020 at 03:22:29AM +0200, pelzflorian (Florian Pelz) wrote:
> That is, instead of patching xorg-server, you would patch
> xkeyboard-config’s xkb/symbols.

I believe patching the keymaps in xkeyboard-config is the best
solution.

Regards,
Florian

Reply via email to