Police de caractères

Une police de caractères est un objet du type Font caractérisé par un nom, un style et une taille. Le constructeur suivant

  Font(String nom, int style, int taille)

crée une nouvelle police. Le paramètre nom est le nom logique d'une police, les noms disponibles sont "Dialog", "DialogInput", "Monospaced", "Serif", "SansSerif" ou "Symbol". Le paramètre style peut prendre la valeur Font.PLAIN pour le style standard, Font.BOLD pour avoir des caractères gras ou Font.ITALIC pour avoir des caractères penchés ou bien Font.BOLD | Font.ITALIC pour combiner ces deux styles. Le paramètre taille indique la taille en points de cette police, le « point » valant approximativement 259#259 de pouce.

La police de caractères est fixée par la méthode

  void setFont(Font font)