14 Ottobre 2011 alle 19:57
#64740
::
illinguista1972″ post=63834Non per dare ragione a Enrico, ma anche a me piaceva di più quella vecchia. Oltre ai pulsanti, anche la finestra Preferences era più articolata.
Ora, però, un plauso alla voce Manage Mirrors del menù Configure. C’è anche il GARR. Mi piace 🙂
La gestione dei mirror è una benedizione! Anche se recentemente Roma2 non era troppo indecente.
Segnalo che con il tasto destro del mouse (o Control-clic) si ha un menù contestuale che permette di lanciare l’aggiornamento.
Ciao
Enrico