Current device is switched away from HDMI audio every time I turn the TV off
I have two sound cards enabled: HDMI audio and an USB card. However, whenever I turn my TV off, the pulseaudio plugin switches to the USB card. I guess the HDMI audio option disappears when the TV is off. However, it is really annoying because I have to reselect it every time I turn it off.
Could you please add an option to reselect the previously active device when it reappears?