Update: what I said above applies when the removed device is the master output. If it's the headphone one, the master one continues playing! Still, we should detect and recover from unplugged devices otherwise the prefs pane is no longer accurate.
Update: what I said above applies when the removed device is the master output. If it's the headphone one, the master one continues playing! Still, we should detect and recover from unplugged devices otherwise the prefs pane is no longer accurate.