diff options
| author | Sergey V. Udaltsov <svu@gnome.org> | 2010-06-18 21:48:20 +0100 |
|---|---|---|
| committer | Sergey V. Udaltsov <svu@gnome.org> | 2010-06-18 21:48:20 +0100 |
| commit | 8639b1a753d6f72c33e4468e8ac4d9160fb6b5f7 (patch) | |
| tree | 79a8e1a34e7ff4ef277602e82054e8991755f066 /symbols/ctrl | |
| parent | d6f8d07ff0dddb9f85ea7dd7a9eb511181f24c4b (diff) | |
| download | xkeyboard-config-8639b1a753d6f72c33e4468e8ac4d9160fb6b5f7.tar.gz | |
Added ctrl:ctrl_menu
https://bugs.freedesktop.org/attachment.cgi?id=36095
Diffstat (limited to 'symbols/ctrl')
| -rw-r--r-- | symbols/ctrl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/symbols/ctrl b/symbols/ctrl index e9c4eff..8ddf093 100644 --- a/symbols/ctrl +++ b/symbols/ctrl @@ -39,3 +39,10 @@ partial modifier_keys xkb_symbols "ctrl_ra" { key <RCTL> { symbols[Group1]= [ Alt_R ] }; }; + +// Menu works as Right Ctrl +partial modifier_keys +xkb_symbols "ctrl_menu" { + replace key <MENU> { [ Control_R, Control_R ] }; + modifier_map Control { Control_L, <MENU> }; +}; |