[Desktop-packages] [Bug 1872501] Re: Modifications ALT R mapping at xmodmap not taking effect

2020-05-30 Thread Gunnar Hjalmarsson
*** This bug is a duplicate of bug 1867548 *** https://bugs.launchpad.net/bugs/1867548 @anna: The bug, which this bug was marked as a duplicate of, is about a specific gnome-control-center issue with the Right Alt/AltGr key. Your problem seems to be unrelated to that. If you think your

[Desktop-packages] [Bug 1872501] Re: Modifications ALT R mapping at xmodmap not taking effect

2020-05-30 Thread anna seppala
*** This bug is a duplicate of bug 1867548 *** https://bugs.launchpad.net/bugs/1867548 I'm having the exact same problem on Ubuntu 20.04 and gnome-control- center version 3.36.2 with the assumed duplicate bug fixed. I follow the same steps as in the original description to exchange the

[Desktop-packages] [Bug 1872501] Re: Modifications ALT R mapping at xmodmap not taking effect

2020-04-13 Thread Gunnar Hjalmarsson
*** This bug is a duplicate of bug 1867548 *** https://bugs.launchpad.net/bugs/1867548 I think you run into a gnome-control-center bug; marking as duplicate. ** This bug has been marked a duplicate of bug 1867548 Right Alt key is suddenly switched off after invoking Settings - Keyboard