Shell Restart User Menu Entry 1.0

Shell Restart User Menu Masuk adalah ekstensi GNOME Shell yang memungkinkan Anda untuk dengan mudah dan cepat me-restart shell.Ia menambahkan entri ke Menu Pengguna, yang disebut "Restart Shell".Untuk menginstal ekstensi ini, Anda harus memiliki GNOME...