Changer la police par défaut dans netbeans?
Est-il possible de changer la police par défaut dans netbeans? La documentation dit:
La police Monospaced est mappée sur différentes polices sur différents systèmes. Sous Windows, il est associé à "Courier", sous Linux, à "Lucida Typewriter".
http://ui.netbeans.org/docs/ui/editor_fonts_colors/Editor_fonts_and_colors.htm
Je suis sur Windows et je veux mapper la police Monospaced sur "Consolas" au lieu de "Courier".
P.S. Je sais que les polices peuvent être facilement modifiées à partir des options, mais lorsque je les modifie de cette manière, je ne peux plus utiliser de caractères unicode. Je suppose que je dois faire ce qu'ils appellent «mapper» la police monospace à une autre police.
Outils> Options> Polices et couleurs
Définissez la catégorie "Par défaut" et, à droite de celle-ci, la police que vous souhaitez utiliser.
Si cela ne résout pas le problème, essayez d'ajouter:
--laf Nimbus -J-Dswing.aatext=true -J-Dawt.useSystemAAFontSettings=lcd
ou
-J-Dswing.aatext=true -J-Dawt.useSystemAAFontSettings=lcd --laf Metal
dans le fichier: netbeans.conf. Vous pouvez le trouver dans le dossier $NETBEANS_HOME/etc/. Réduisez la taille de la police de votre application à partir des préférences système.
La vie devient plus facile maintenant. Juste à partir de Outils menu choisissez Options puis suivez les étapes de la capture d'écran ci-dessous et prenez soin des étapes 3 et 4 qui font de la police par défaut pour toutes les langues:
Pour modifier la taille de la police en dehors de l'éditeur que vous pouvez configurer en modifiant le fichier de configuration Net Beans, vous pouvez le trouver ici: C:\Program Files\NetBeans 8.0.2\etc\netbeans.conf
Puis éditez cette ligne: Netbeans_default_options = "..."
en ajoutant ceci à la fin:
--fontsize 18
J'espère que ça aide :-)
J'ai un plugin NetBeans appelé «UI-Editor» qui vous permet de personnaliser pratiquement n'importe quelle propriété Swing, y compris la taille, la couleur et le type de police. Allez dans Outils-> Plugins et recherchez 'UI-Editor' ou allez ici: http://plugins.netbeans.org/plugin/55618/?show=true
de plus, n'oubliez pas de changer la police pour celle qui prend en charge l'arabe comme Arial, par exemple, je ne suis pas sûr que quelqu'un mentionne que je viens de l'essayer