L'environnement de bureau K

Chapitre 4. La boîte de dialogue Préférences

En choisissant Configuration->Préférences... à partir du menu, cela fait apparaître la boîte de dialogue des préférences. Cette boîte de dialogue peut être utilisée pour modifier un certain nombre de configurations différentes. Les configurations possibles à changer varies suivant la catégorie que l'utilisateur choisit à partir d'une liste verticale sur le côté gauche de la boîte de dialogue. Par l'intermédiaire d'une ligne de cinq boutons longeant le bas de la boîte de dialogue, l'utilisateur peut diriger le processus. Il ou elle peut invoquer le système d'Aide, initialiser les options à leurs valeurs Par défaut, accepter la configuration courante et fermer la boîte de dialogue par le bouton OK, Appliquer les choix courants pour le document, sans fermer la boîte de dialogue, ou Annuler le processus. Les catégories Police, Couleurs, Orthographe et Divers sont détaillées ci-dessous.

4.1. Police

La boîte de dialogue des préférences s'ouvre avec la catégorie Police, la première catégorie. Ici, l'utilisateur peut choisir quatre (4) configurations et voir les effets de n'importe quels changements dans le texte d'exemple affiché dans le rectangle au bas de la boîte de dialogue. Les configurations sont :

Jeu de caractères :

Cette petite liste déroulante est alignée à droite et centrée (verticalement) dans la boîte de dialogue. Si l'utilisateur a plus qu'une famille de caractères utilisables sur son ordinateur, celle-ci peut être utilisée pour sélectionner l'ensemble qui sera utilisé pour le texte dans l'éditeur.

Police

Cette liste permet à l'utilisateur de choisir par le nom diverses polices possibles. L'apparence de n'importe quelle police sélectionnée peut être vue dans le texte d'exemple affiché dans le rectangle au bas de la boîte de dialogue.

Style

Cette boîte de sélection, au centre, est utilisée pour choisir entre les quatre styles de base qui sont normal, italique, gras et italique gras. L'apparence du style sélectionné peut être vue dans le texte d'exemple affiché dans le rectangle en bas de la boîte de dialogue.

Taille

La boîte de sélection à l'extrême droite, nommée Taille, permet à l'utilisateur de modifier la taille de la police. Le plus grand nombre correspond à la plus grande taille de la police. Le texte d'exemple affiché dans le rectangle au bas de la boîte de dialogue reflètera le choix de la taille.