From 1e94d48801bf8cb75741aa308d4cdfb63b03c66c Mon Sep 17 00:00:00 2001
From: "Sergey V. Udaltsov" <svu@gnome.org>
Date: Mon, 29 Mar 2010 00:12:27 +0100
Subject: [PATCH] Added FK13-FK15 mapping for evdev

http://bugs.freedesktop.org/show_bug.cgi?id=25835
---
 symbols/inet | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/symbols/inet b/symbols/inet
index 89e802e..1d46d54 100644
--- a/symbols/inet
+++ b/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        ]       };
 };
 
 
-- 
2.7.4