[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Denemo-devel] pause
From: |
Richard Shann |
Subject: |
[Denemo-devel] pause |
Date: |
Thu, 11 Feb 2010 17:42:40 +0000 |
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
- [Denemo-devel] pause,
Richard Shann <=