I’ve a question about the glulx timer.
If you get it running - y’know like Real-Time Delays lets you do this to start the timer:
start a 1000 millisecond timer
do you need to do any tidying at all if you want to immediately start it off again with a different value?
If the 1000 ms are ticking away and I decide I want to forget that and start a 5000 ms timer, do I have to do anything other than ask a 5000 ms timer to start? Quick tests of mine suggest no, but I want to be sure what I’m doing is okay.