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
