Shell Restart User Menu Entry 1.0

Shell Restart Entrada menú de usuario es una extensión de GNOME Shell que le permite reiniciar con facilidad y rapidez de la cáscara.Se agrega una entrada en el menú de usuario, llamada "Restart Shell".Para instalar esta extensión es necesario tener...