Domande taggate «gnome-shell-extension»

Le estensioni della shell GNOME sono piccoli frammenti che espandono la funzionalità e le caratteristiche della shell GNOME. Questi frammenti sono scritti in JavaScript e CSS.



2
Le estensioni di Gnome rimangono nell'elenco dopo essere state rimosse
Ho un piccolo problema con le estensioni della shell di gnome. Dopo averne installato alcuni, ho capito che non mi piacevano e ho deciso di rimuoverli. Le estensioni stesse (le loro cartelle in /home/username/.local/share/gnome-shell/extensions) sono state eliminate correttamente. Tuttavia, le estensioni eliminate non sono state rimosse dall'elenco delle estensioni installate …


Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.