Formatage en Texte Libre

Les Groupes de Polices / Font Set Editor

"Font Set Editor" : Créer un environnement général de groupes de polices

Vous pouvez créer des groupes de polices de manière "définitive", qui seront stockés dans le menu Préférences de l'application, et d'autres pour une page particulière qui feront partie des paramètres de la page.

Nous utiliserons cette page : " f_s_edit.html. " en " Mode Mise en page "

* Barre Menu / Style / Police / Editer les jeux... (Alt + Commande + F)

* Editeur de jeux de polices (Font Set Editor)

Font Set Editor


NB : Il n'est pas possible d'affecter une taille de police par défaut car la taille 3 ne fait que correspondre à la taille standart programmée par l'utilisateur dans les "Préférences de son navigateur".