Please consider taking the following patch. F20 is now the defacto
micmute key in linux, since both gnome-settings-daemon and udev have
agreed on it.

Interestingly, if you check output of xmodmap -pke, FK20 (keycode 198)
is mapped to nothing, at least in Ubuntu. So it isn't even as though
we're breaking obscure early '90s unix keyboards by making this change.

https://bugs.freedesktop.org/show_bug.cgi?id=54171

https://mail.gnome.org/archives/commits-list/2013-January/msg05822.html

Signed-off-by: James M Leddy <[email protected]>
---
 symbols/inet |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/symbols/inet b/symbols/inet
index b8f4d19..e886639 100644
--- a/symbols/inet
+++ b/symbols/inet
@@ -120,6 +120,8 @@ xkb_symbols "evdev" {
     key <FK22>   {      [ XF86TouchpadOn        ]       };
     key <FK23>   {      [ XF86TouchpadOff       ]       };
+    key <FK20>   {      [ XF86AudioMicMute      ]       };
+
 //  key <I120>   {      [ ]       }; // KEY_MACRO      key <I126>   {
    [ plusminus             ]       };
     key <I128>   {      [ XF86LaunchA           ]       };
-- 
1.7.9.5

_______________________________________________
[email protected]: X.Org development
Archives: http://lists.x.org/archives/xorg-devel
Info: http://lists.x.org/mailman/listinfo/xorg-devel

_______________________________________________
[email protected]: X.Org development
Archives: http://lists.x.org/archives/xorg-devel
Info: http://lists.x.org/mailman/listinfo/xorg-devel

Reply via email to