`timer.paused` missing from docs

Ebs · February 25, 2023, 10:01pm

I believe that playdate.timer.paused is missing from the list of common timer properties in the latest 1.13.1 docs. It took me an embarrassingly long time to find it because I was looking for an isPaused() or isRunning() method.

dave · February 28, 2023, 9:02pm

Thanks for catching this! I've filed it, will get if fixed as soon as we can.

games.iz9sz · September 20, 2023, 8:05am

@dave this still seems to be missing.

dave · September 20, 2023, 8:20pm

It's in the 2.1 release we've just wrapped up, will be out soon!