In früheren Ububtu-Versionen konnte ich Symbole in Menüs über mehrere Optimierungswerkzeuge oder über den Gnome-Konfigurationseditor aktivieren.
Alle diese Optionen sind in 14.04 verschwunden oder haben keine Auswirkung mehr.
Ich brauche 20 Mal länger, um den gewünschten Menüpunkt zu finden, anstatt den vorherigen Sekundenbruchteil, um das farbenfrohe Symbol zu erkennen. :) :)