Categorias: Melhorias de desktop, Extensões de shell gnome
- Inicio
- Linux
- Shell Restart User Menu Entry
- Baixando ...
Shell Restart User Menu Entry 1.0
Shell Restart entrada do menu do usuário é uma extensão do GNOME Shell que permite que você facilmente e rapidamente reiniciar o shell.Ele adiciona uma entrada ao menu de utilizador, chamado "Restart Shell".Para instalar esta extensão você deve ter GNOME...