Bonjour,
Pour réduire la taille de la police des cotations, suivez les étapes suivantes :
- Cliquez sur un mur ou une cotation automatique encadrée en vert pour afficher le menu de gauche des cotations.
- Ouvrez le menu Options des cotations.
- Choisissez la taille de la police.
Voici un lien vers un guide détaillé : SOURCE.
Si vous avez sélectionné l’option Police fixe, la taille du texte restera constante, peu importe le niveau de zoom du plan.