[Denemo-devel] pause

[Richard Shann]

It occurs to me that we can change the behavior of the ext_midi_play to
start playing from the current position of the playback cursor, rather
than setting it to the start_time every time. I think you would set it
to the start_time at the end of play, but leave it if music has stopped
earlier (e.g. because the use pressed stop).
That will give us pause for (almost) nothing.
Richard