Editeur d'extraits HTML
|
Cet éditeur permet de modifier un extrait ou de rédiger un nouveau extrait. Il dispose d'une barre de menus
Le choix de la police courante se fait à l'aide d'un barre d'outil spéciale
: tandis que la mise en forme des caractères et des paragraphes se fait
à l'aide de la barre d'outils classique :
La sauvegarde des modifications est automatique dès que l'on sélectionne un autre élément, extrait ou document. |