HDMI picture but no sound

I found the solution; it turned out that the volume control had an extra tab off the right hand edge of the window called Configuration, which has the option of selecting HDMI sound output.

3 Likes