diff options
Diffstat (limited to 'xorg-server')
| -rw-r--r-- | xorg-server/xkbdata.src/symbols/inet | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/xorg-server/xkbdata.src/symbols/inet b/xorg-server/xkbdata.src/symbols/inet index 89e802e98..1d46d5431 100644 --- a/xorg-server/xkbdata.src/symbols/inet +++ b/xorg-server/xkbdata.src/symbols/inet @@ -215,6 +215,9 @@ xkb_symbols "evdev" { // key <I254> { [ ] }; // KEY_WIMAX key <I255> { [ XF86Hibernate ] }; // KEY_HIBERNATE + key <FK13> { [ XF86Tools ] }; + key <FK14> { [ XF86Launch5 ] }; + key <FK15> { [ XF86MenuKB ] }; }; |