web-dev-qa-db-fra.com

La police Monospace n'est pas mono-espacée dans Eclipse, pourquoi?

J'ai récemment effectué une mise à niveau vers Ubuntu 12.04 et je constate qu'en utilisant Eclipse pour l'édition de code source, les caractères gras affichés avec la police Monospace sont plus épais que ceux non gras. Ainsi, la police Monospace n'est en réalité pas mono-espace. (même espace pour tous les caractères)

Est-ce un problème connu? Est-ce que je manque quelque chose?

Comment puis-je le rendre à nouveau mono-espace?

12.04fontsubuntu-font-family
15
Akos Maroy

J'ai un problème similaire avec Monospace.

En guise de solution de contournement, je suis passé à l’utilisation de Bitstream Vera Sans Mono, qui semble très similaire mais n’a pas le même problème.

Si vous ne l'avez pas, vous pouvez l'installer en faisant Sudo apt-get install ttf-bitstream-vera.

14
agxs

Monospace fait référence à toutes les polices à largeur fixe . Il existe également une police monospace spécifique appelée Monospace. Supposons que vous vous référiez à la police spécifique Monospace.

J'utilise la police Monospace dans Libreoffice/Openoffice pour aligner des séquences sous Ubuntu 12.04. J'ai remarqué le même problème: les lettres Monospace en gras sont plus larges que les lettres Monospace classiques de même taille, bien qu'elles soient toujours à espacement fixe, c'est-à-dire à largeur fixe. Voir l'image

enter image description here

Pour trouver une alternative, consultez cet article TOP 10 DES POLICES DE PROGRAMMATION . J'utilise Daja vu sans mono ou Courier New , qui affiche la même largeur pour les facetypes réguliers et audacieux. Au moins, Inconsolata a le même problème que Monospace.

3
HongboZhu

Il apparaît que la configuration de la police dans 12.04 définit Droid Sans Mono comme police monospace par défaut (voir /etc/fonts/conf.d/60-droid-sans-mono-fonts.conf) et, comme le décrit l'OP, les glyphes dans la version en gras de cette police a une largeur différente de celle de la version normale.

Pour changer la police monospace par défaut du système, créez /etc/fonts/local.conf contenant quelque chose comme ceci:

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<fontconfig>
  <alias>
    <family>monospace</family>
    <prefer>
      <family>DejaVu Sans Mono</family>
    </prefer>
  </alias>
</fontconfig>

De cette façon, vous ne devrez pas vous souvenir de changer la police de l'éditeur Eclipse pour chaque espace de travail que vous utilisez.

1
User Serviceable

J'ai eu le même problème avec OpenJDK 8. La police appelée "Monospaced" était correctement mappée à "DejaVu Sans Mono" pour le style "normal"/"uni", mais quelque chose d'autre (probablement automatiquement en gras) pour "gras", même si utiliser "DejaVu Sans Mono" fait directement ce qu'il faut.

La solution consiste à corriger ~/.Java/fonts/*/fcinfo*.properties. Il contenait (parmi beaucoup d'autres):

monospaced.1.0.file=/usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
monospaced.3.0.file=/usr/share/fonts/truetype/dejavu/DejaVuSansMono-Oblique.ttf

Tout allait bien après avoir changé ceux-ci en:

monospaced.1.0.file=/usr/share/fonts/truetype/dejavu/DejaVuSansMono-Bold.ttf
monospaced.3.0.file=/usr/share/fonts/truetype/dejavu/DejaVuSansMono-BoldOblique.ttf
0
Thraidh