diff options
| author | Bastien Nocera <hadess@hadess.net> | 2011-09-07 18:18:24 +0100 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2011-09-07 18:18:24 +0100 |
| commit | 7492d534e67ac70305566b398b4fd76745f21c31 (patch) | |
| tree | d80761b241ae4f1fde8f19e302af836fedaf87ec | |
| parent | e64a5d0b56d551c653027a6040ccfa28fbd101e5 (diff) | |
| download | gnome-settings-daemon-7492d534e67ac70305566b398b4fd76745f21c31.tar.gz | |
media-keys: Don't show a level when muted
As discussed in:
https://bugzilla.gnome.org/show_bug.cgi?id=644537#c4
| -rw-r--r-- | plugins/media-keys/gsd-media-keys-manager.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c index 69afaad6..3a5c3cbf 100644 --- a/plugins/media-keys/gsd-media-keys-manager.c +++ b/plugins/media-keys/gsd-media-keys-manager.c @@ -622,8 +622,12 @@ update_dialog (GsdMediaKeysManager *manager, gboolean sound_changed, gboolean quiet) { - vol = (int) (100 * (double) vol / PA_VOLUME_NORM); - vol = CLAMP (vol, 0, 100); + if (!muted) { + vol = (int) (100 * (double) vol / PA_VOLUME_NORM); + vol = CLAMP (vol, 0, 100); + } else { + vol = 0.0; + } dialog_init (manager); gsd_media_keys_window_set_volume_muted (GSD_MEDIA_KEYS_WINDOW (manager->priv->dialog), |