[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: java font size



Quand tu lances ta JVM java avec java (le binaire) dans ce script tu peux ajouter des options avec des -D du type -Dswing.plaf.metal.controlFont=<un nom de fonte/taille >)  cela ne marche que si le look&feel utilisé est metal (souvent sélectionnable directement par menu dans les applications Java.Metal etait le l&f par défaut avant je ne sais pas si c'est toujours le cas...

Jerome



Reply to: