options de gravure

Options qui permettent de modifier l'aspect graphique de la partition, notamment de choisir les symboles, de définir l'épaisseur des lignes et de configurer les distances. Ces options s'appliquent à l'ensemble du projet, y compris aux blocs et aux dispositions, et peuvent être configurées dans la boîte de dialogue Options de gravure.