Questions marquées «gnome-shell»

l'interface utilisateur principale et le gestionnaire de composition de l'environnement de bureau GNOME 3, cette balise est destinée aux questions sur l'utilisation et le dépannage de gnome-shell, son thème, etc. Les extensions doivent en outre être étiquetées avec [gnome-shell-extension].

2
Ubuntu 18.04 - obtenir le dock Ubuntu pour afficher uniquement les fenêtres de l'écran actuel (moniteur)
J'utilise Ubuntu 18.04 (avec le noyau Linux 4.15.0-33-generic) sur une configuration avec un ordinateur portable et un moniteur externe. Existe-t-il un moyen de faire en sorte que le dock dans Ubuntu 18.04 affiche uniquement les fenêtres de l' écran actuel . Il y avait une fonctionnalité similaire dans Ubuntu 16.04. …
1
Le dock Ubuntu est bloqué
Bien que j'aie réglé " Masquer automatiquement le Dock " sur On, le dock ne disparaît pas. Les icônes sur le bureau se déplacent un peu vers la gauche afin qu'elles soient partiellement couvertes par le dock, mais le dock reste là tant qu'il n'y a pas de fenêtre maximisée …
3
Comment fermer Discord dans GNOME?
Lorsque je clique Xou utilise ALT+ F4pour fermer Discord, l'application disparaît de la barre des tâches. Mais je suis toujours en ligne, je reçois des messages et des notifications dans Ubuntu lorsque de nouveaux messages arrivent. Alors, comment puis-je réellement fermer l'application? Je préfère ne pas avoir à utiliser le …
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 …
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.