Pertanyaan yang diberi tag gnome-shell-extension

Ekstensi GNOME Shell adalah cuplikan kecil yang memperluas fungsionalitas dan fitur GNOME Shell. Cuplikan ini ditulis dalam JavaScript dan CSS.

35
Ekstensi dimatikan setelah reboot [ditutup]

Saya menjalankan Ubuntu Gnome 13.10 dengan Gnome 3.10. Masalah saya adalah bahwa setiap kali saya reboot OS semua ekstensi shell dimatikan. Yang aneh adalah bahwa pengaturan mereka disimpan. Mereka dimatikan dan saya harus mengaktifkannya kembali setiap waktu. Bagaimana saya bisa membuat mereka...