I always use the key mute button on the Thinkpad, but anyway it can be muted in the system menu easily (at least in XFCE).

(In fact, I just checked in Gnome, the menu does not expose microphone volume, it's only available from the settings window.)