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..