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 mise en correspondance avec différentes polices sur différents systèmes. Sur Windows il est mappé à " Courier ", sur Linux il est mappé à "Lucida Machine À Écrire".

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 à 'Consolas' au lieu de 'Courier'.

<!-Je sais que les polices peuvent facilement être changées depuis les options, mais quand je les change de cette façon, je ne peux plus utiliser les caractères unicode. Je suppose que j'ai besoin de faire ce qu'ils appellent 'mappage' de la police monospacée à une autre police.

10
demandé sur King Julien 2012-08-19 00:18:53

6 réponses

Outils > Options > polices et couleurs

définissez la catégorie "Default", et à droite de celle-ci, la police que vous voulez utiliser.

Si cela ne répare pas, 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 $NETBEANS_HOME/etc/ dossier. Réduisez la taille de la police de votre application à partir des préférences du système.

6
répondu Andy Dingfelder 2018-06-01 07:22:42

la Vie devient plus facile maintenant. Juste à partir de Outils menu choisir Options et ensuite suivre les étapes sur la capture d'écran suivante et faire attention avec les étapes 3 et 4 qu'ils font la police par défaut pour toutes les langues:

enter image description here

3
répondu SaidbakR 2017-03-17 13:16:33

pour changer la taille de la police en dehors de l'éditeur, vous pouvez configurer en éditant le fichier conf de Net Beans, vous pouvez le trouver ici: C:\Program Files\NetBeans 8.0.2\etc\netbeans.conf

Puis modifier cette ligne: netbeans_default_options="..."

en ajoutant ceci à la fin:

--fontsize 18

j'espère que cela aide :-)

2
répondu Roberto Rodriguez 2016-08-31 17:55:44

J'ai un plugin NetBeans appelé 'UI-Editor' qui vous permet de personnaliser pratiquement n'importe quelle propriété Swing, y compris les tailles de police, les couleurs et les types. Allez à outils - > Plugins et cherchez 'UI-Editor' ou allez ici:http://plugins.netbeans.org/plugin/55618/?show=true

1
répondu jdb1015 2014-08-22 18:33:57

n'oubliez pas non plus de changer la police pour celle qui supporte l'arabe comme Arial par exemple Je ne suis pas sûr d'une mention que je viens de l'essayer

0
répondu isslam akkilah 2017-02-06 02:46:23

autant que je sache, il n'y a aucun moyen de le faire. jEdit (http://jedit.org) utilise également Swing et fait la substitution de police pour toutes les polices - il y a une case à cocher "substitution de police automatique" dans la zone Options globales > zone texte, ainsi qu'une liste de polices préférées. Mais jEdit n'est pas aussi capable que Netbeans.

-2
répondu Bink 2012-11-21 16:57:09