Questions marquées «gnome»

8
Masquer la barre de titre dans Gnome 3.12

J'ai Ubuntu 14.04 et Gnome 3.12 (en utilisant un thème sombre) et dans certaines applications, j'ai maintenant une grande barre de titre blanche. Comment supprimer la barre de titre d'une application? Dans gnome 3.10, j'ai utilisé l' économiseur de pixels gnome-shell-extension, mais maintenant, ces...

8
Comment écrire des tirets en et em?

Je suis un peu nazi de grammaire, donc j'aime que ma grammaire soit correcte, je comprends que pour que vous puissiez taper en et em des tirets que vous devez configurer la COMPOSEclé ou quelque chose comme ça, mais je ne suis pas sûr de cela ni comment j'arrive à partir de là pour pouvoir taper...

8
Mise à l'échelle fractionnelle Gnome 3.26 / Ubuntu 17.10 [fermé]

Fermé. Cette question est hors sujet . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question pour qu'elle soit sur le sujet de Ask Ubuntu. Fermé il y a 2 ans . J'ai vraiment hâte à 17.10 avec Gnome et d'autres nouvelles fonctionnalités. Une...

8
Les paramètres système ne s'ouvrent pas sur Ubuntu 17.10

Je suis passé d'Ubuntu 16.04 à 17.10, via 17.04. Après la mise à niveau, je ne peux pas accéder à la fenêtre des paramètres système. Lorsque j'essaie de l'ouvrir via le terminal, c'est l'erreur produite. anomitra@C3PO:/usr/lib/x86_64-linux-gnu$ [INFO 14:56:15.591156] Application.vala:153: System...