bug: rest timer paused somehow
It is. In my experience, it happens when I open a heavier app (e.g. WhatsApp, or a browser with multiple open tabs) or do something in it while I rest. It also becomes more likely if I haven't…
Add leading zeros to minute and day of month fields
To consider:
- Replace
k
(0-23) withkk
(00-23)? - Unify month format (either
LL
orMM
for both 12h and 24h formats)? Month formatting doesn't affect the one-/two digit representation…
Add leading zeros to minute and day of month fields
bug: rest timer paused somehow
I encountered that a few times. I think some background activity being (low-memory-)killed is the reason in my case.