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.
1 Like
Thanks for catching this! I've filed it, will get if fixed as soon as we can.
1 Like
@dave this still seems to be missing.
It's in the 2.1 release we've just wrapped up, will be out soon! 
2 Likes