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