08-01-2018, 12:49 AM
It's the same library that I'm going to use for adjusting playback speed and pitch. I haven't had time to integrate it yet, but I'm considering working on it after some of the MIDI changes I've promised (so fairly soon).
Mike
Mike