`timer.paused` missing from docs

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