[Denemo-devel] New Bookmark System

[Nils]

I have created a new bookmark system. The old one can be deleted now.

The standard bookmark is combined with a ly-rehearsal mark. You can place named 
bookmarks, which are named ly-marks, too. They don't disturb the automated 
increasing of default rehearsal marks ("a b c custom d e")
Finally you can place named, non-printing bookmarks which are just useful in 
Denemo.

Keys are F9, Shift+F9 and Crtl+Shift+F9

Searching and Jumping works in the current staff only. Jump Forward or Backward 
with F12 and F11. It will stop if the end/start of a staff is reached. So if 
there are not bookmarks it just jumps to the end/start.

And there is Search, F10. F10 is in conflict with the File menu here. I have 
not set GTK to this, so I can imagine other people will see the same: F10 for 
File, not for Search.

You can enter a string here and it searches for bookmarks with the same name 
(case insensitive). It searches only forward, but if the end of staff is 
reached it jumps automatically to the beginning of the staff and continues it 
searchs until a bookmark is found or the end is reached a second time (and 
stops then).

This is all in git now.

Whats missing, as a little bonus, is a named search where you can search again 
for the same name without retyping it. This is useful for cases where several 
bookmarks are named the same. "verse" or "refrain" for example.

Nils