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
|
2011-08-17 23:47:03 +02:00
|
|
|
@@ -637,6 +637,7 @@ do_sound_action (GsdMediaKeysManager *ma
|
|
|
|
gboolean quiet)
|
2009-02-20 22:09:29 +01:00
|
|
|
{
|
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-08-17 23:47:03 +02:00
|
|
|
guint old_vol, new_vol, max_vol, norm_vol_step;
|
2010-04-01 03:30:18 +02:00
|
|
|
gboolean sound_changed;
|
2009-02-20 22:09:29 +01:00
|
|
|
|
2011-08-17 23:47:03 +02:00
|
|
|
@@ -653,7 +654,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
|
|
|
|
@@ -66,6 +66,7 @@ volume-down = /apps/gnome_settings_daemo
|
|
|
|
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
|
|
|
|
@@ -145,5 +145,10 @@
|
|
|
|
<_summary>Magnifier zoom out</_summary>
|
|
|
|
<_description>Binding for the magnifier to zoom out</_description>
|
|
|
|
</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>
|
|
|
|
</schemalist>
|