⌂
Alternative bar numbering
Two alternative methods for bar numbering can be set, especially for when using repeated music.
