Add command to hide next music item on typesetting
Use smaller rather than tiny staff
Add Void command
Avoid gtk errors when non-interactive