Fixing a bug which prevented music-repaint after inserting a glissando