La police monospace n'est pas mono espacée dans l'éclipse, pourquoi?

15

J'ai récemment mis à niveau vers Ubuntu 12.04, et je vois que lorsque vous utilisez eclipse pour éditer le code source, les caractères gras affichés avec la police Monospace sont en fait plus épais que les caractères non gras. Ainsi, la police Monospace n'est en fait pas mono-espace. (même espace pour tous les personnages)

est-ce un problème connu? Suis-je en train de manquer quelque chose?

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

12.04 fonts ubuntu-font-family

— Akos Maroy
source

La police monospace est en effet plus épaisse lorsqu'elle est en gras qu'improbable ... c'est ce que signifie gras. Voulez-vous dire plus large? Ce n'est pas plus large. Si le même mot dans Monospace occupe plus de ligne lorsqu'il est en gras par rapport à la normale, alors peut-être qu'Eclipse change la taille de la police sur vous.

— Chan-Ho Suh

Par exemple, regardez ceci: cloudfront.omgubuntu.co.uk/wp-content/uploads/2011/09/mono.jpg

— Chan-Ho Suh

1

Même problème ici. Comme beaucoup de choses sont typiquement vissées après la mise à jour, je suis passé par des réglages (antialiasing, hinting, etc.), mais pas de chance.

— dbrank0

1

Même problème avec le droid mono, mais d'autres, comme le bitstream-vera mentionné ci-dessous (ou Liberation Mono) sont très bien. : /

— dbrank0

J'ai eu le même problème avec NetBeansIDE (7.4). La police monospace (à la fois en gras et normale) s'est bien affichée, jusqu'à ce que j'installe PlayOnLinux et Wine, après quoi les versions normales sont devenues plus étroites que gras. La police bitstream-vera mentionnée ci-dessous fonctionne correctement et constitue une solution de contournement acceptable.

— loostro

14

J'ai un problème similaire avec Monospace.

Pour contourner ce problème, je suis passé à l'utilisation de Bitstream Vera Sans Mono, qui ressemble beaucoup, mais n'a pas le problème audacieux.

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

— agxs
source

Il semble que l'indication de police soit rompue pour les polices monospace par défaut du système (Monospace et Ubuntu Mono). Il semble que cela fonctionne pour Bitstream Vera Sans Mono - merci pour le conseil!

— kynan

Merci, cela a beaucoup aidé. Comme je l'ai mentionné ci-dessus - mes problèmes ont commencé après l'installation de PlayOnLinux et Wine .. qui semblent avoir modifié certaines configurations de polices.

— loostro

3

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

J'utilise la police Monospace dans Libreoffice / Openoffice pour aligner les 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 régulières de même taille, bien qu'elles soient toujours à espacement fixe, c'est-à-dire à largeur fixe. Voir l'image

entrez la description de l'image ici

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

— HongboZhu
source

1

Il semble que la configuration de 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 l'OP le décrit, 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 n'aurez pas à vous souvenir de changer la police de l'éditeur Eclipse pour chaque espace de travail que vous utilisez.

— Utilisable par l'utilisateur
source

J'ai dû finir par tout dévoiler dans Eclipse parce que cela me faisait monter le mur. Mais je dois essayer ça!

— anon58192932

0

J'ai eu le même problème avec OpenJDK 8. La police appelée "Monospaced" était correctement mappée sur "DejaVu Sans Mono" pour le style "regular" / "plain", mais quelque chose d'autre (probablement automatiquement en gras) pour "bold", même si utiliser directement "DejaVu Sans Mono" fait la bonne chose.

La solution est de corriger ~/.java/fonts/*/fcinfo*.properties. Il contenait (entre 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 les avoir changés 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

— Thraidh
source