Shell Restart User Menu Entry 1.0

Shell Restart Meniul Utilizator Intrarea este o extensie GNOME Shell, care vă permite să reporniți ușor și rapid coajă.Aceasta adaugă o intrare la meniul de utilizare, denumit "Restart Shell".Pentru a instala această extensie trebuie să aveți GNOME Shell...