Shell Restart User Menu Entry 1.0

Shell Redémarrer menu utilisateur Entrée est une extension GNOME Shell qui vous permet de redémarrer facilement et rapidement la coquille.Il ajoute une entrée dans le menu de l'utilisateur, appelé "Redémarrer Shell".Pour installer cette extension,...