Lösung: Unity lässt sich auch separat neu starten. Das bietet den Vorteil, dass beim erneuten Laden der Arbeitsumgebung bereits geöffnete Programme weiterlaufen können. Auch eine Ab- und anschließende Wiederanmeldung des Benutzers ist nicht erforderlich.
Um den Neustart durchzuführen, öffnen Sie ein Terminal und geben den Befehl setsid unity ein. Die Kommandozeile eignet sich besonders deshalb, weil Sie hier die ausgegebenen Debug-Meldungen verfolgen können, anhand deren sich etwaige gravierendere Probleme aufspüren lassen. Falls Sie darauf keinen Wert legen, öffnen Sie mit Alt + F2 den Ausführen-Dialog, geben unity ein und drücken die Eingabetaste.
Produkte: Der Trick funktioniert mit Ubuntu 14.04 LTS. In anderen Versionen kann die Vorgehensweise abweichen. (mje)