Définition des propriétés de commentaire

Vous pouvez spécifier une couleur par défaut, un style de ligne et une police pour les commentaires dans la boîte de dialogue Options. Vous pouvez changer les propriétés de la police de vos commentaires de manière individuelle.

Pour afficher la boîte de dialogue Options, effectuez une des actions suivantes :

  • Cliquez sur Options tool_Options.gif (volet Marquage).
  • Cliquez sur Outils > Options.
  • A l'aide du bouton droit de la souris, cliquez sur un commentaire dans l'arbre Commentaires de marquage et cliquez sur Propriétés.
  • A l'aide du bouton droit de la souris, cliquez sur un élément de marquage dans la zone graphique et sélectionnez Propriétés.
    Les modifications s'appliquent à tous les éléments dans le commentaire spécifié.