Liste des polices

Définitions de polices de musique étendues.

• «Nom» – Le nom d’une police placée dans le système.
• «Echelle» – Employée si la police actuelle et la police choisie ont une taille différente.
• «Intervalle des barres» – Est employé dans les images des 1/16 de notes et plus court, quand l’intervalle entre leurs barres devrait différer des intervalles par défaut, par exemple si les barres sont trop grasses..