`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.