I am trying to find a workaround for the following problem.
I use a Radeon HD 6000 series pci express graphics card with a HDMI output to a tv.
After waking from suspend, no sound.
Opening Pavucontrol tells me the HDMI port is unplugged.
If I have left the sound pane of System Settings open, I can see the HDMI port under 'Play sound through' has disappeared.
Restarting the system or or re-launching System Settings solves the issue.
So: what is the sequence of events when System Settings opens, and can I automate this on-wake to restore HDMI sound automatically?