diff options
| author | Martin Pitt <martinpitt@gnome.org> | 2013-03-19 13:10:29 +0100 |
|---|---|---|
| committer | Martin Pitt <martinpitt@gnome.org> | 2013-03-19 13:12:00 +0100 |
| commit | 1563c0c35a8005f5b71f04abe32c95d849efb420 (patch) | |
| tree | 5b05da140670b05a05c353ca3d0e45084a71fc8e /src/journal/journald-kmsg.h | |
| parent | 785af213b6c94b7a66b2fd7de360c2b4a9b9de30 (diff) | |
keymaps: Use F20 for micmute keys to be friendly to X.org
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
Diffstat (limited to 'src/journal/journald-kmsg.h')
0 files changed, 0 insertions, 0 deletions