En cliquant sur Taille de police, nous pouvons choisir la taille de police qui convient le mieux à
nos goûts: petite, par défaut, grande ou la plus grande possible. Après l'avoir sélectionnée,
appuyez sur Précédent pour revenir à l'écran de réglage.
Au bas de l'écran de réglage, il est indiqué comment le lanceur par défaut est sélectionné.