Après la mise à jour d'ubuntu vers 12.04, toutes les polices sont devenues grasses. Je n'ai pas installé de thèmes ni configuré de polices.
à partir de netbeans about :
Version du produit : NetBeans IDE 7.1 (Build 201112071828)
Java : 1.7.0_03 ; Java HotSpot(TM) 64-Bit Server VM 22.1-b02
Il s'agit d'un bogue :
Dans le premier lien, il y a un commentaire qui vous renvoie à un autre bogue . Vous y trouverez la solution suivante :
sudo apt-get remove fonts-unfonts-core
La solution habituelle consistant à supprimer les polices de caractères fonctionne bien sûr, mais elle n'est pas très élégante
sudo apt-get remove fonts-unfonts-coreAu lieu de cela, vous pouvez simplement modifier les options dans Netbeans en éditant le fichier
/usr/local/netbeans-8.0.2/etc/netbeans.confque vous pouvez également trouver avec un simple
find / -name netbeans.confet ajoutez la ligne suivante aux options de netbeans :
-J-Dswing.aatext=true -J-Dawt.useSystemAAFontSettings=lcd --laf Metalvous devriez donc obtenir une ligne similaire à :
netbeans_default_options="-J-client -J-Xss2m -J-Xms32m -J-XX:PermSize=32m -J-Dapple.laf.useScreenMenuBar=true -J-Dapple.awt.graphics.UseQuartz=true -J-Dsun.java2d.noddraw=true -J-Dsun.zip.disableMemoryMapping=true -J-Dswing.aatext=true -J-Dawt.useSystemAAFontSettings=lcd --laf Metal"
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
