We now have autoswitching on connect in 17.10, but not on disconnect :)
You might find what you need by uncommenting and editing these lines:
### Make some devices default #set-default-sink output #set-default-source input
in /etc/pulse/default.pa or copy it to ~/.config/pulse/default.pa and edit locally.
Regardless, I don't think hotplugging HDMI qualifies as High.
We now have autoswitching on connect in 17.10, but not on disconnect :)
You might find what you need by uncommenting and editing these lines:
### Make some devices default
#set-default-sink output
#set-default-source input
in /etc/pulse/ default. pa or copy it to ~/.config/ pulse/default. pa and edit locally.
Regardless, I don't think hotplugging HDMI qualifies as High.