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
SourceView: hide or gray-out menuitems if they do not contain items or only one item #358
Closed
bwbohl closed 3 weeks ago