Tiny, but useful...
I mentioned last time that the new Giocoso version 1.12 also contained a very small new enhancement that had been intended to be released as version 1.11. That feature is... (drum roll, please)... early termination of playback.
Yeah. Wow. 🙂 [...]