ciao a tutti. curiosità/comodità: come si modificano le voci della tendina che esce cliccando col tasto destro del mouse sul desktop di gnome? Non trovo nulla su quella tendina... forse perchè non so cosa cercare esattamente. Grazie!