Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make
request_repaint_after
actually respect the delay
The branch that sets the repaint_delay to MAX was previously never actually taken, causing the repaint_delay to never be reset to MAX. This in turn effectively turn request_repaint_after into being equivalent to simply calling request_repaint, because the former only updates the repaint_time if it is shorter than the previous value.
- Loading branch information