diff options
| author | Benjamin Berg <bberg@redhat.com> | 2018-02-19 14:40:11 +0100 |
|---|---|---|
| committer | Benjamin Berg <bberg@redhat.com> | 2018-03-16 14:42:02 +0100 |
| commit | f227cc6e11efd8d3b8a6e617b129da318b347e00 (patch) | |
| tree | 9218f0a37d8c1a4ecce73382ca6b5a0023ceefcf /data | |
| parent | e6151a49c33017eee789585860aa56fe922590c7 (diff) | |
| download | gnome-settings-daemon-f227cc6e11efd8d3b8a6e617b129da318b347e00.tar.gz | |
media-keys: Move microphone mute button to gsettings
Allow users to configure the microphone mute key. Many laptops do not
have a microphone mute key, so it can make sense for users to map it to
another key (e.g. Shift+Mute).
https://bugzilla.gnome.org/show_bug.cgi?id=793596
Diffstat (limited to 'data')
| -rw-r--r-- | data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in b/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in index 06224d4f..089b8610 100644 --- a/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in +++ b/data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in @@ -96,6 +96,11 @@ <summary>Volume up</summary> <description>Binding to raise the volume.</description> </key> + <key name="mic-mute" type="s"> + <default>'XF86AudioMicMute'</default> + <summary>Microphone mute/unmute</summary> + <description>Binding to mute/unmute the microphone.</description> + </key> <key name="screenshot" type="s"> <default>'Print'</default> <summary>Take a screenshot</summary> |