32Fermer34
Kevin KoflerLe 28/05/2012 à 03:35
Pour tes polices, ça dépend aussi de l'environnement de bureau que tu utilises: les versions récentes de GNOME codent toujours 96 dpi en dur quelle que soit la valeur fournie par le pilote (parce qu'ils ne font plus confiance à cette dernière), dans KDE, c'est configurable (comme tout), mais respecte la valeur fournie par le pilote par défaut. Mais je ne sais pas si OpenJDK respecte la valeur fournie par l'environnement (exportée dans les XSettings par gnome-settings-daemon sous GNOME ou par xsettings-kde (que je conseille d'installer si ce n'est pas encore le cas) sous KDE) ou s'il a encore un réglage à sa sauce. Les toolkits standard (Qt, GTK+) respectent les réglages de l'environnement de bureau, mais Java est toujours un peu "bizarre".