Kategorie: Rozszerzenia pulpitu, Rozszerzenia gnome shell
- Strona główna
- Linux
- Shell Restart User Menu Entry
- Pobieranie ...
Shell Restart User Menu Entry 1.0
Shell Restart Wejście Menu użytkownika jest rozszerzenie GNOME Shell, który pozwala łatwo i szybko uruchomić ponownie powłokę.Dodaje wpis do menu użytkownika, o nazwie "Restart Shell".Aby zainstalować to rozszerzenie musi być zainstalowany GNOME Shell i...