On Thu, Nov 10, 2011 at 10:00:24PM +0100, Davide Prina wrote: > 4) il menù Debian o meglio l'ex, non è più un menù, ma un elenco di > applicazioni, veramente poco usabile Confermo! > 5) mi manca il comodissimo plugin topshelf e per ora non ho ancora provato ad > usare il repository indicato. Però non ho capito come si fanno ad aggiungere > plugin alla barra di gnome3!?!? Con l'applicazione tweak qualchecosa. -- Ciao leandro