Re: [Denemo-devel] pause

[Richard Shann]

Jeremiah - are you still developing the Playback Controls? We didn't get
any more feedback from those that want them, but the pause thing I
mentioned in this email and making the navigation buttons affect the
"playback head" (which doesn't make sense without the notion of pause)
rather than the cursor would make sense before we release.
Richard

On Thu, 2010-02-11 at 17:42 +0000, Richard Shann wrote:
> 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,
that is what is called the "playback head" in the notes on denemo.org

>  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 mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/denemo-devel