Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#1 Le 14/03/2013, à 02:04

Akern

Police différentes dans tout ce qui ne dépend pas de Unity

Bonjour!
Je suis sous Ubuntu 12.10 et depuis quelques temps (2/3jours) dans LibreOffice, Inkscape, Gimp, ou VLC (menu contextuel), la police affichée est "sans" (en tout cas, elle y ressemble beaucoup), mais dans la barre de menus en haut, dans le dash, dans les applets, la police est Ubuntu.
Je n'arrive pas à rectifier le problème malgré les différents outils de configuration que j'ai.
Comment puis-je remettre la police Ubuntu partout?
Merci bien!

Hors ligne

#2 Le 14/03/2013, à 11:51

inbox

Re : Police différentes dans tout ce qui ne dépend pas de Unity

Salut,

Tu peux installer Unsettings.

Pour cela, passe les commandes suivantes :

sudo add-apt-repository ppa:diesch/testing
sudo apt-get update
sud apt-get install unsettings

A+


Un problème résolu ? Indiquez le en modifiant le titre du sujet.
Linux user 449594

Hors ligne

#3 Le 14/03/2013, à 12:35

Akern

Re : Police différentes dans tout ce qui ne dépend pas de Unity

inbox a écrit :

Salut,

Tu peux installer Unsettings.

Pour cela, passe les commandes suivantes :

sudo add-apt-repository ppa:diesch/testing
sudo apt-get update
sud apt-get install unsettings

A+

J'avais essayé avec Gnome Tweak Tool et Unity Tweak Tool, les deux ont exactement les mêmes réglages avec Ubuntu comme police partout. Unsettings pourrait vraiment régler le problème?

Hors ligne

#4 Le 14/03/2013, à 12:49

inbox

Re : Police différentes dans tout ce qui ne dépend pas de Unity

Je n'en sais rien, essaye.

[EDIT] Après essai, c'est la police par défaut qu'il faut modifier.

Dernière modification par inbox (Le 14/03/2013, à 13:00)


Un problème résolu ? Indiquez le en modifiant le titre du sujet.
Linux user 449594

Hors ligne

  • Accueil
  • » Forum
  • » Unity
  • » Police différentes dans tout ce qui ne dépend pas de Unity

Haut de page ↑