Humm... lanciando gnome-appearance-properties da terminale compaiono un po' di errori. Adesso li controllo. -- lanzen