On Fri, 2016-01-29 at 20:33 +0100, David Henningsson wrote: > If you have headphones plugged in and plug in HDMI; you want sound > to stay on headphones. > If you have HDMI plugged in and you plug in headphones; you want sound > to switch to headphones. > > Hence we need to take priority into account as well when determining > whether to switch to a new profile or not.
I think the same logic should apply to input ports too. Otherwise looks good to me. -- Tanu _______________________________________________ pulseaudio-discuss mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/pulseaudio-discuss
