Ketika membuat perubahan pada ekstensi atau menginstal aplikasi, kadang-kadang saya merasa perlu untuk memulai kembali shell GNOME agar perubahan diterapkan. Di masa lalu, menekan Alt + F2, mengetik 'r' dan menekan enter akan melakukan ini. Namun, ini sepertinya tidak tersedia di Wayland. Saya...