Comment changer la taille des coches ?

[gravelin]

Pour changer la taille des coches dans les cotations.

Il faut créer un nouveau type de pointe de flèche

Menu paramètre / annotation / pointe de flèche

que vous utiliserez ensuite dans votre type de cote.