Tema dan Shell Refresh adalah ekstensi GNOME Shell yang menyediakan beberapa ikon pada panel, memungkinkan Anda untuk me-restart tema dan shell di GNOME & nbsp; 3.Untuk menginstal ekstensi ini, Anda harus memiliki GNOME Shell diinstal atau Cinnamon. ....