[Denemo-devel] Named Bookmarks

[Richard Shann]

I've added a script to do Named Bookmarks (to the navigation menu).
This was an idea of Nils' - not so much use just yet as the
corresponding find bookmark is still to do. But still it provides a way
of labeling some part of the music in a visible fashion that does not
print.
Richard