Ok, I've gone with option (d): Mute should always set the volume to zero, even if it was already zero. Specification updated. <https://wiki.ubuntu.com/Sound?action=diff&rev2=106&rev1=105>
This means that the slider is still effective and useful when sound is muted, so this bug report is Invalid. (This is another example of how bug reports with "should" in their title are likely to be Invalid.) ** Changed in: indicator-sound (Ubuntu) Status: In Progress => Invalid ** Summary changed: - [indicators] Sound menu: Volume slider should disappear when Mute is toggled on + "Mute" is a toggle, making volume slider confusing ** Description changed: - Volume slider should be hidden, when Mute toggle is turned on and vice - versa. + When sound is muted, the volume slider is still available in the sound + menu, but currently does nothing. + + <https://wiki.ubuntu.com/Sound#Mute>: "The Mute action should + idempotently set the volume to zero for the primary sound output. That + is, if you Mute and then Mute again, sound should still be muted. And if + you Mute then make the volume Louder, it should end up just above zero." + + <https://wiki.ubuntu.com/Sound#A.2BIBw-Mute.2BIB0->: "Choosing ['Mute' + in the menu] should trigger the Mute action." -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1124005 Title: "Mute" is a toggle, making volume slider confusing To manage notifications about this bug go to: https://bugs.launchpad.net/manhattan/+bug/1124005/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs