diff options
author | Sergey V. Udaltsov <svu@gnome.org> | 2011-08-06 21:35:23 +0100 |
---|---|---|
committer | Sergey V. Udaltsov <svu@gnome.org> | 2011-08-06 21:35:23 +0100 |
commit | f0c4c16bf0fdb38494875dba117e38b363e99614 (patch) | |
tree | 9926c69b661dd4f2fc8924dc5e0bd712c86fd56c /symbols/ctrl | |
parent | 0d61a4fa52899df44ec92dc46f827b568425baf9 (diff) |
Added option to use RAlt as RCtrl
https://bugs.freedesktop.org/show_bug.cgi?id=38493
Diffstat (limited to 'symbols/ctrl')
-rw-r--r-- | symbols/ctrl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/symbols/ctrl b/symbols/ctrl index 96a1cbcb..55a148fa 100644 --- a/symbols/ctrl +++ b/symbols/ctrl @@ -47,3 +47,11 @@ xkb_symbols "ctrl_menu" { replace key <MENU> { [ Control_R, Control_R ] }; modifier_map Control { Control_L, <MENU> }; }; + +// right alt functions as another ctrl key +partial modifier_keys +xkb_symbols "ctrl_ralt" { + replace key <RALT> { type[Group1] = "TWO_LEVEL", + symbols[Group1] = [ Control_R, Control_R ] }; + modifier_map Control { <RALT> }; +}; |