Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
`reps` used to have a different meaning than today. I'd actually love to rename this variable, but it's the name used in upstream, so I guess it would not be accepted. I considered adding more information, such as the fact that in practice, it mostly means that this value is reset when ankidroid restart, with maybe some exceptions. Or that we should only care about the difference between values at different point in time and not about the actual value of this variable. But actually it does not matter. It's only used for timebox and has 3 occurrences in the codebase. Any more documentation would be overkill. Fixed #6830. Well actually, it was fixed in 7a65160 long ago, but the documen tation did not reflect that. So let's claim I just fixed a 5 yo bug!
- Loading branch information