Questions marquées «gnome-shell»

Gnome Shell est un gestionnaire de fenêtres pour l'environnement de bureau Gnome 3.

38
Comment puis-je redémarrer le shell GNOME sur Wayland?

Lorsque je modifie des extensions ou installe des applications, j'ai parfois trouvé nécessaire de redémarrer le shell GNOME pour que les modifications prennent effet. Dans le passé, en appuyant sur Alt + F2, en tapant «r» et en appuyant sur Entrée, cela se produisait. Cependant, cela ne semble pas...

17
Désactiver le mappage de clé super shell Gnome par défaut

Gnome Shell utilise par défaut la touche Super (Windows) pour afficher la vue d'ensemble des activités. Mais je préfère utiliser la touche Super pour appeler Synapse. En ce moment, je dois appuyer sur Super + Super + Spacebar pour invoquer Synapse qui est ennuyeux (Super + Spacebar est la liaison...

8
Comment afficher la zone de notification dans GNOME?

Je viens de mettre à jour ma machine de Debian Wheezy vers Debian Testing. La version GNOME est 3.8.4 mais j'ai un problème ennuyeux. La zone de notification inférieure a disparu et je ne sais pas comment la faire réapparaître. Je veux dire la zone de notification où les icônes réduites des...

1
Paramètres régionaux incorrects sur Ubuntu avec Gnome Shell

Je souhaite que toutes les applications de mon système soient en anglais mais que tous les formats (dates, devise, chiffres) soient localisés pour l'Allemagne. J'ai configuré mon shell Gnome sur le réglage correct, mais je trouve parfois des programmes qui sont toujours affichés en allemand. Lors...