Définition d'une police par défaut

Vous pouvez modifier les polices par défaut proposées pour :

  • L'interface (listes)

  • L'éditeur de code (aperçu d'un code SQL)

  • L'éditeur de RTF (description, annotation)

  1. Sélectionnez Outils > Options générales puis sélectionnez la catégorie Polices dans l'arborescence Catégorie.
  2. Spécifiez les options de mise en forme souhaitées.


  3. Cliquez sur OK pour fermer la boîte de dialogue.
Sujet parent : Options générales