highlight the fact that the staff name is a button at the start of the score
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/denemo