Das Problem hat sich erledigt, nachdem ich durch Zufall herausgefunden habe, dass es eine alternative Ansicht "Trebuchet" für das Vollaphone gibt. Einmal umgeschaltet darauf, sind und bleiben die Icons dauerhaft bunt - mal abgesehen davon, dass die Darstellung (einmal konfiguriert) für mic...