opzioni tipografiche

Opzioni che definiscono l'aspetto grafico della notazione, tra cui la scelta dei simboli, lo spessore delle linee e le distanze. Tali opzioni si riferiscono all'intero progetto, compresi tutti i flussi e i layout, e possono essere impostate nella finestra di dialogo Opzioni tipografiche.