Questions marquées «gnome-shell-extension»

Les extensions GNOME Shell sont de petits extraits qui étendent les fonctionnalités et les fonctionnalités de GNOME Shell. Ces extraits sont écrits en JavaScript et CSS.



8
Pourquoi l'installation d'extensions de shell gnome à partir d'extensions.gnome.org échoue silencieusement?
Sur une nouvelle installation d'Ubuntu (12.04, 64 bits), après avoir installé gnome-shell, j'ai essayé d'installer quelques extensions depuis extensions.gnome.org mais je n'ai eu aucun résultat. J'ai essayé avec Firefox et Chromium et j'ai eu le même problème. Ouvrez n'importe quelle page d'extension sur extensions.gnome.org. Réglez l'extension sur "ON". Acceptez la …





18
Liste des addons / extensions pour gnome-shell
Cette liste est maintenant plus ou moins remplacée par https://extensions.gnome.org/ où les extensions peuvent être installées et configurées en un clic. Il existe plusieurs extensions pour gnome-shell. Aidez-moi à compiler une liste d'addons existants J'ai répondu à ma question en ajoutant les extensions que je connais comme réponses. Comme il …

1
Pourquoi reçois-je un message d'erreur lorsque j'essaie d'accéder à certains de mes paramètres d'extension de shell GNOME?
Certaines de mes extensions de shell GNOME ne me permettent pas de configurer leurs fonctionnalités car je reçois un message d'erreur lorsque j'essaie de les ouvrir. L'image suivante est ce que je vois lorsque j'essaie d'ouvrir les configurations de l' extension " Web Search Dialog ": Le message dans la …







En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.