Shell Restart User Menu Entry 1.0

Shell Restart Menu utente Entry è un'estensione GNOME Shell che permette di riavviare facilmente e rapidamente il guscio.Si aggiunge una voce al Menu utente, denominata "Restart Shell".Per installare questa estensione è necessario avere installato...

Software consigliato Per Linux