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.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.
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:
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 :-)
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
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
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.