Hey, Ge!
Oh yes, that is indeed an issue (with ChucK, not mini) - working on it now!
As I expressed in my last email, IO.newline() is currently NOT causing
a flush (as it should). I've fixed this issue in CVS, and we will release it in the next version. Hopefully we can fix the flush issue as well, and things should be better then!
Hah - you and I both know this is how we make ChucK suck less!
(and you've uncovered two bugs already here!)
Thanks for the persistence and rock on!