Je was op zoek naar: default font setting (Engels - Frans)

default font
police par défaut :

default font:
& nombre de fichiers récents & #160;:

default font type
type de la police par défaut

set default font...
régler la police par défaut...

default font size:
taille de police par défaut & #160;:

header font setting
paramètre de la police de l'en-tête

default font size (100%)
taille de police par défaut (100 & #160;%)

measure header font setting
paramètres de police de l'en-tête de la mesure

the default font size is 3.
la taille de police par défaut est 3.

percentage of default font size:
pourcentage de la taille de la police par défaut:

use default font@info:whatsthis
utiliser la police par défaut@info:whatsthis

default fonts
police de base

use default fonts
utiliser les polices par défaut

default font and colour@title:tab
police et couleur par défaut@title:tab

set the default font size for the article viewer
Établit la taille par défaut de la police dans la vue des articles

set the default font background color for legends.
paramétrez la couleur d'arrière-plan de la police par défaut des légendes.

default font for displaying alarm messages.@label
police par défaut pour l'affichage des messages d'alarme.@label

finds any instance where the default font was changed.
recherche toute occurrence dans laquelle la police par défaut a été modifiée.

use the system default fonts.
utiliser les polices de caractères par défaut du système.

font settings
configuration des polices