Ehi, Tommaso, io non ho detto niente di diverso rispetto a quello che ha detto Enrico; ho solo detto che è più essenziale e questo non è un giudizio di valore, ma un giudizio estetico.
Siamo d’accordo tutti che i pulsanti erano comodi; ora che non ci sono più ci abitueremo.
Nello stesso tempo c’è la barra dei menù e quella nell versione fino alla 0.92 non c’era o era meno dotata, per esempio non c’era Manage Mirrors 🙂
Mi dicono che anche su tlmgr dovrebbe esserci qualcosa per gestire i mirror, ma io non l’ho mai trovato. D’altra parte tlmgr è ancora più minimalista. In un certo senso è anche angosciante. quando nelle due colonne a sinistra il tempo complessivo previsto per completare l’installazione o l’aggiornamento non diminuisce mai, o quasi mai, ma è tendenzialmente monotono crescente. 🙁