Shell Restart User Menu Entry - Gratuito il download del software Per Linux In Estensioni della shell di gnome

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...