2010-01-18 14:20:07 +01:00
|
|
|
Index: plugins/media-keys/gsd-media-keys-manager.c
|
2009-02-20 22:09:29 +01:00
|
|
|
===================================================================
|
2010-04-01 03:30:18 +02:00
|
|
|
--- plugins/media-keys/gsd-media-keys-manager.c.orig
|
|
|
|
+++ plugins/media-keys/gsd-media-keys-manager.c
|
2013-10-16 16:37:55 +02:00
|
|
|
@@ -1211,6 +1211,7 @@ do_sound_action (GsdMediaKeysManager *ma
|
2009-02-20 22:09:29 +01:00
|
|
|
{
|
2011-11-28 09:26:31 +01:00
|
|
|
GvcMixerStream *stream;
|
2011-08-17 23:47:03 +02:00
|
|
|
gboolean old_muted, new_muted;
|
2009-02-20 22:09:29 +01:00
|
|
|
+ gboolean toggle_mute;
|
2011-09-03 00:24:33 +02:00
|
|
|
guint old_vol, new_vol, norm_vol_step;
|
2010-04-01 03:30:18 +02:00
|
|
|
gboolean sound_changed;
|
2009-02-20 22:09:29 +01:00
|
|
|
|
2013-10-16 16:37:55 +02:00
|
|
|
@@ -1239,7 +1240,11 @@ do_sound_action (GsdMediaKeysManager *ma
|
2010-04-01 03:30:18 +02:00
|
|
|
|
2009-02-20 22:09:29 +01:00
|
|
|
switch (type) {
|
|
|
|
case MUTE_KEY:
|
2011-08-17 23:47:03 +02:00
|
|
|
- new_muted = !old_muted;
|
|
|
|
+ toggle_mute = g_settings_get_boolean (manager->priv->settings, "toggle-mute");
|
2009-02-20 22:09:29 +01:00
|
|
|
+ if (toggle_mute)
|
2011-08-17 23:47:03 +02:00
|
|
|
+ new_muted = !old_muted;
|
2009-02-20 22:09:29 +01:00
|
|
|
+ else
|
2011-08-17 23:47:03 +02:00
|
|
|
+ new_muted = TRUE;
|
2009-02-20 22:09:29 +01:00
|
|
|
break;
|
2011-08-17 23:47:03 +02:00
|
|
|
case VOLUME_DOWN_KEY:
|
|
|
|
if (old_vol <= norm_vol_step) {
|
|
|
|
Index: data/gnome-settings-daemon.convert
|
|
|
|
===================================================================
|
|
|
|
--- data/gnome-settings-daemon.convert.orig
|
|
|
|
+++ data/gnome-settings-daemon.convert
|
2013-03-26 21:11:59 +01:00
|
|
|
@@ -57,6 +57,7 @@ volume-down = /apps/gnome_settings_daemo
|
2011-08-17 23:47:03 +02:00
|
|
|
volume-mute = /apps/gnome_settings_daemon/keybindings/volume_mute
|
|
|
|
volume-up = /apps/gnome_settings_daemon/keybindings/volume_up
|
|
|
|
www = /apps/gnome_settings_daemon/keybindings/www
|
|
|
|
+toggle-mute = /apps/gnome_settings_daemon/toggle_mute
|
|
|
|
|
|
|
|
[org.gnome.settings-daemon.plugins.mouse]
|
|
|
|
active = /apps/gnome_settings_daemon/plugins/mouse/active
|
|
|
|
Index: data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in.in
|
|
|
|
===================================================================
|
|
|
|
--- data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in.in.orig
|
|
|
|
+++ data/org.gnome.settings-daemon.plugins.media-keys.gschema.xml.in.in
|
2013-10-16 16:37:55 +02:00
|
|
|
@@ -185,6 +185,11 @@
|
|
|
|
<summary>Maximum length of screen recordings</summary>
|
|
|
|
<description>The maximum length of single screen cast recordings in seconds or 0 for unlimited</description>
|
2011-08-17 23:47:03 +02:00
|
|
|
</key>
|
|
|
|
+ <key name="toggle-mute" type="b">
|
|
|
|
+ <default>true</default>
|
|
|
|
+ <_summary>Toggle Mute</_summary>
|
|
|
|
+ <_description>Toggle the sound mixer's mute status when then mute button is pressed.</_description>
|
|
|
|
+ </key>
|
|
|
|
</schema>
|
2013-03-26 21:11:59 +01:00
|
|
|
|
|
|
|
<schema gettext-domain="@GETTEXT_PACKAGE@" id="org.gnome.settings-daemon.plugins.media-keys.custom-keybinding">
|