My proposal would be:
- For time studied today, show full minutes. If more than one hour, show hour and full minute (1h 20m)
- Keep the dd.dds/cards precision. I think it’s too much but clearly some users like it.
- For “show next card”, round minutes, hours and days to full integer values (5m; 5h; 5d) and show one level of precision for years (1.2y)
I don’t think there’s a need for a toggle to get more/less precision. (Maybe we need better statistics on another page?)