Pourquoi la police «monospace» est-elle superbe dans Terminal et gedit, et terrible dans IntelliJ IDEA?

11

Pourquoi la police "monospace" est-elle superbe dans Terminal et gedit, et terrible dans IntelliJ IDEA? IDEA utilise la bibliothèque Swing de Java, et je comprends que cela pourrait être un problème avec cela. Existe-t-il un correctif connu?

Armand
la source

Réponses:

2

J'ai le même problème. Apparemment, c'est un problème avec le niveau "d'indication" de la police, qu'IntelliJ force à "plein", peu importe ce que le système d'exploitation sélectionne. Cela donne aux polices un aspect dentelé et mince plutôt que leur apparence. Il y a eu une solution de contournement que j'ai vue sur un site Web, mais cela n'a pas fonctionné pour moi.

user10669
la source
1
Hmm merci pour l'astuce (geddit?!?!) Je vais y jeter un œil.
Armand
@ user10669 Vous mentionnez l'existence d'une solution de contournement ... pourriez-vous ajouter le lien ici de toute façon?
Christopher Kyle Horton
2

Généralement, tous les logiciels Java ont un mauvais rendu des polices sous Linux. Vous le verrez également sous Windows, les polices sont différentes. Ce n'est pas un problème IntelliJ IDEA, mais Java.

fitojb
la source
1
Mais non. Eclipse est basé sur Java, mais rend parfaitement la même police.
mat
0

Salut, j'ai écrit un petit manuel pour résoudre ce problème

sudo add-apt-repository ppa:no1wantdthisname/openjdk-fontfix
sudo apt-get update
sudo apt-get install openjdk-7-jdk

Script pour démarrer Intellij Idea

Notez seulement que vous devez modifier l'emplacement IDEA_HOME pour votre chemin d'idée

#!/bin/sh

IDEA_HOME=/opt/idea
export JAVA_HOME=/usr/lib/jvm/java-1.7.0-openjdk-amd64
export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=lcd \
                      -Dsun.java2d.xrender=true"
export GNOME_DESKTOP_SESSION_ID=this-is-deprecated
exec $IDEA_HOME/bin/idea.sh "$@" 

plus d'informations et des captures d'écran de meilleures polices: http://urshulyak.com/?p=478

Yaroslav Urshulyak
la source
Je
modifie