chiark / gitweb /
~ianmdlvl / elogind.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1563c0c)
keymaps: Use F20 for micmute keys to be friendly to X.org
authorMartin Pitt <martinpitt@gnome.org>
Tue, 19 Mar 2013 12:10:29 +0000 (13:10 +0100)
committerMartin Pitt <martinpitt@gnome.org>
Tue, 19 Mar 2013 12:12:00 +0000 (13:12 +0100)
The "micmute" key code is outside of X.org's allowed range [1].
gnome-settings-daemon interprets F20 as "microphone mute" these days [2], so
use this until X.org either gets fixed or obsoleted.

[1] https://bugzilla.gnome.org/show_bug.cgi?id=692071
[2] https://mail.gnome.org/archives/commits-list/2013-January/msg05822.html


No differences found
Unnamed repository; edit this file 'description' to name the repository.