Nous essayons d'obtenir quaqua hors de notre application. Nous utilisions un appel à Quaqua pour définir la taille de la police d'être plus petite avec un appel comme celui-ci:Comment puis-je gérer les tailles de police par défaut de l'interface utilisateur swing sans quaqua?
System.setProperty("Quaqua.sizeStyle", "small");
Est-il facile de faire la même chose sans utiliser Quaqua? Ou est-ce que quelqu'un connaît un autre bon aspect pour OS X?
D'un commentaire sur la réponse http://stackoverflow.com/a/8120380/873282: il est plus facile à utilisez deriveFont(): tree.setFont (tree.getFont(). deriveFont (24f)); – koppor