After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 692071 - media-keys captures F2 without an option to change it
media-keys captures F2 without an option to change it
Status: RESOLVED FIXED
Product: gnome-settings-daemon
Classification: Core
Component: media-keys
3.7.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-settings-daemon-maint
gnome-settings-daemon-maint
Depends on:
Blocks:
 
 
Reported: 2013-01-19 12:47 UTC by Kalev Lember
Modified: 2013-01-19 17:00 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
media-keys: Use F20 for the temporary mic mute key (1.25 KB, patch)
2013-01-19 12:50 UTC, Kalev Lember 		committed Details | Review

Description Kalev Lember 2013-01-19 12:47:31 UTC 
gnome-settings-daemon 3.7.4 captures F2 for the mic mute key without any option to change it.

According to http://git.gnome.org/browse/gnome-settings-daemon/commit/?id=5cda26ee looks like the intention was to use F20 as the temporary key while X support for mic mute comes along. Attaching a patch to correct it.
Comment 1 Kalev Lember 2013-01-19 12:50:02 UTC 
Created attachment 233859 [details] [review]
media-keys: Use F20 for the temporary mic mute key

As per the comment in commit 5cda26eea, use F20, not F2 as the temporary
key until it can be captured in X.
Comment 2 Bastien Nocera 2013-01-19 14:50:10 UTC 
Review of attachment 233859 [details] [review]:

Yes. My debug method has been uncovered!
Comment 3 Kalev Lember 2013-01-19 17:00:37 UTC 
Attachment 233859 [details] pushed as b69b0d9 - media-keys: Use F20 for the temporary mic mute key