[Denemo-devel] 0.7.10

[Richard Shann]

I have started work on 0.7.10 with the least controversial stuff -
eliminating the multiple menus for simultaneous editing of multiple
files. I've done this, because although it is essentially tidying up it
will save a lot of headaches when it comes to custom commands. We really
don't want to be running about on multiple menu systems inserting and
deleting menu items, adding actions to multiple ui_managers etc.
Also it means you get a neat little tab for each piece of music you
open... (thank you Nils).
Richard