Используйте Control + Right Alt + Arrows для изменения рабочих пространств

Я использовал рабочие области с gnome и Ubuntu 18.04, и я хотел бы изменить ярлыки на переключать рабочие места. Я видел, что у редактора dconf есть возможность сделать это в org> gnome> desktop> wm> keybindings, и по умолчанию это

Control + Alt + Arrow ключей.

По какой-то причине этот Alt работает только с левым Alt, а не с правым Alt. Я бы хотел переключить его на Right Alt, так как тогда я могу использовать только одну руку. Кто-нибудь пробовал сделать то же самое? Ценю любые идеи.

И последнее, когда я запускаю xev в терминале, правый Alt отображается как ISO_LEVEL3_SHIFT , поэтому я предполагаю, что названия некоторых клавиш в Ubuntu нестандартны.

Спасибо!