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.)
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.)