After today's updates to Pulseaudio, headphone insertion now mutes internal speakers and switches output to headphones.
After today's updates to Pulseaudio, headphone insertion now mutes internal speakers and switches output to headphones.