Эти исправления отлично работают с установленной версией. http://www.eclipse.org/downloads/packages/eclipse-ide-java-ee-developers/junor
Я написал индикаторный апплет, который позволяет вам переключать звук.
Пока проблема не решена, этот апплет, вероятно, немного более удобен.
Я использую 12.04. Пожалуйста, дайте мне знать, успешно ли вы это сделали.
https://github.com/lkettenb/sound-output-switcher
Screentshot:
Для пользователей Gnome Shell выбор Sound Output Device Chooser является практическим утешением, если нет решения для автоматического переключения. Это хорошо работает для меня с Gnome Shell 3.14 и 3.16.