summaryrefslogtreecommitdiff
path: root/symbols/ctrl
diff options
context:
space:
mode:
authorSergey V. Udaltsov <svu@gnome.org>2011-08-06 21:35:23 +0100
committerSergey V. Udaltsov <svu@gnome.org>2011-08-06 21:35:23 +0100
commitf0c4c16bf0fdb38494875dba117e38b363e99614 (patch)
tree9926c69b661dd4f2fc8924dc5e0bd712c86fd56c /symbols/ctrl
parent0d61a4fa52899df44ec92dc46f827b568425baf9 (diff)
downloadxkeyboard-config-f0c4c16bf0fdb38494875dba117e38b363e99614.tar.gz
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/ctrl8
1 files changed, 8 insertions, 0 deletions
diff --git a/symbols/ctrl b/symbols/ctrl
index 96a1cbc..55a148f 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> };
+};