Choix de la taille d'une police

La zone Taille de la fenêtre Propriétés de l'Espace de travail vous permet de choisir parmi les quatre tailles de polices proposées pour le texte des fenêtres. Vous pouvez modifier les polices par défaut de telle sorte que le texte des applications que vous lancez apparaisse dans la taille que vous aurez choisie. Notez que la modification de la taille d'une police conditionne également la taille de la fenêtre associée.

Les tailles en points correspondantes sont les suivantes :

• petite

• moyenne (par défaut)

• grande

• très grande

  ---

  Remarque :

  tous les types et les tailles de polices n'apparaissent pas de manière satisfaisante à l'écran. Si la taille sélectionnée est trop grande, certains éléments du système tels que les boutons de menu peuvent être cachés partiellement.

  ---