search

Edirom / Edirom-Online

Edirom Online is a tool for presenting historical-critical music editions in digital form.
GNU General Public License v3.0
20 stars 23 forks source link

Fix for #281 #380

Closed nikobeer closed 3 months ago

nikobeer commented 4 months ago

Labels for measure numbers for measure previews in annot tool tips are now read from @label when present.

krHERO commented 3 months ago

@bwbohl can this PR be merged by you? if something is still missing, could you please provide some feedback to Niko. thanks :)