Discussion :

[pendoRa]

Bonjour,

je souhaiterais savoir si l'objet JTextArea peut récupérer la taille de la police windows utilisée au lancement de l'application.

En gros, que la taille de la police s'adapte par rapport à la taille de la police utilisée dans windows.

d'avance Merci

[joel.drigo]

Salut,

Voici une méthode (getWindowsFonts()) pour récupérer les polices système de Windows :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
public static void main(String[] args) {
 
        System.out.println("Voici la liste des polices Windows : ");
        getWindowsFonts().forEach( (p, f) -> System.out.format("Font %s = %s%n", p, f) );
 
}
 
public static Map<String, Font> getWindowsFonts() {
	return getWindowsFonts(false);
}
 
private static Map<String, Font> getWindowsFonts(boolean fixRes) {
	final Map<String, Font> map = new HashMap<>();
	final Toolkit toolkit = Toolkit.getDefaultToolkit();
	final int screenRes = Toolkit.getDefaultToolkit().getScreenResolution();
 
        for(final String propertyName : (String[])toolkit.getDesktopProperty("win.propNames") ) {
        	if ( propertyName.matches("win\\.[^.]+\\.font") || propertyName.matches("win\\.frame\\.[^.]+aptionFont") ) {
        		final Font font = (Font)toolkit.getDesktopProperty(propertyName);
        		if ( fixRes ) {
        		    final float fontSize = (72f/screenRes) * font.getSize();
        		    map.put( propertyName, font.deriveFont(fontSize) );
        		}
        		else {
        			map.put( propertyName, font );
        		}
        	}
        }
        return map;
}

Les polices dans la map ont des tailles corrigées pour s'adapter à la résolution.

Si tu appelles getWindowsFonts(true), tu verras (presque) les tailles paramétrées dans la configuration Windows : je dis presque parce qu'il y a de légères différences en réalité, que je suppose être dues aux arrondis lors de l'adaptation. Je n'ai pas trouvé de moyen d'avoir la taille exacte dans tous les cas. En tout cas, cette version te permettra d'identifier plus facilement les noms des propriétés correspondant à chacune des polices.

[SamusStrife]

Bonjour,

J'ai une question par rapport a la formule de Joel.drigo :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

final float fontSize = (72f/screenRes) * font.getSize();

Sur le coefficient 72, j'avais vu que Apple utilise beaucoup ce coefficient contrairement a Windows qui préfère le 96, donc a t on un moyen de l'avoir via Java? Si le DPI est de 96 et que l'on utilise le coefficient 72 ca ne foire pas les résultats? Ou la marge d'erreur est négligeable? (A moins que cette formule n'a rien a voir avec les DPI? )

[joel.drigo]

Non seulement ça a bien rapport avec les DPI, mais le but de cette formule est de ramener la taille des polices à une résolution standard, utilisée par Java pour dimensionner les polices. La résolution de l'écran dans la formule est dans la variable screenres (valeur obtenu dans le code par Toolkit.getDefaultToolkit().getScreenResolution();). Ce code est spécifique Windows (le win dans le nom des propriétés...) par ailleurs (les noms de propriétés sont spécifiques) : pour utiliser la police dans un programme, pas besoin de mon code, on utilise directement la desktop property.

Mais on peut adapter mon code pour avoir une méthode qui permet directement d'obtenir la police adaptée à la résolution, pour démonstration, qui donne ce résultat :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
import java.awt.Component;
import java.awt.Font;
import java.awt.Toolkit;
import java.util.HashMap;
import java.util.Map;
 
import javax.swing.Box;
import javax.swing.BoxLayout;
import javax.swing.JFrame;
import javax.swing.JLabel;
 
public class Demo {
 
	public static void main(String[] args) {
 
		JFrame frame = new JFrame();
		frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 
		Box panel = new Box(BoxLayout.PAGE_AXIS);
 
		Font javaFont = getResolutionAdaptedFonts().get("win.frame.captionFont");
		panel.add(createLabel("java", javaFont));
 
		Font winCaptionFont = getWindowsFonts().get("win.frame.captionFont");
		JLabel label = createLabel("windows", winCaptionFont);
		panel.add(label);
 
		frame.setTitle(label.getText());
 
		frame.getContentPane().add(panel);
 
		frame.setSize(300,100);
		frame.setLocationRelativeTo(null);
		frame.setVisible(true);
 
	}
 
	private static JLabel createLabel(String type, Font font) {
		String name = type + " " + font.getName() + " " + font.getSize();
		JLabel label = new JLabel(name);
		label.setFont(font);
		return label;
	}
 
	/**
         * Donne les polices a utiliser directement (adaptée à la résolution de l'écran
         */
	public static Map<String, Font> getResolutionAdaptedFonts() {
		return getWindowsFonts(false);
	}
 
	/**
         * Donne les polices telles qu'elles sont paramétrées dans Windows
         */
	public static Map<String, Font> getWindowsFonts() {
		return getWindowsFonts(true);
	}
 
	private static Map<String, Font> getWindowsFonts(boolean fixRes) {
		final Map<String, Font> map = new HashMap<>();
		final Toolkit toolkit = Toolkit.getDefaultToolkit();
		final int screenRes = Toolkit.getDefaultToolkit().getScreenResolution();
 
		for (final String propertyName : (String[]) toolkit
				.getDesktopProperty("win.propNames")) {
			if (propertyName.matches("win\\.[^.]+\\.font")
					|| propertyName.matches("win\\.frame\\.[^.]+aptionFont")) {
				final Font font = (Font) toolkit
						.getDesktopProperty(propertyName);
				if (fixRes) {
					final float fontSize = (72f / screenRes) * font.getSize();
					map.put(propertyName, font.deriveFont(fontSize));
				} else {
					map.put(propertyName, font);
				}
			}
		}
		return map;
	}
}

[SamusStrife]

D'accord je vois. Merci