diff options
author | Will Dietz <w@wdtz.org> | 2018-06-18T22·33-0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-06-18T22·54-0500 |
commit | 44de71a39624d86d6744062ee36f57170024c9a0 (patch) | |
tree | b377e2827a6fed7a13c4c28ca970f693d1a74e64 /.gitignore | |
parent | f601bc049258ed438aa6f8199c5be11770d44aaf (diff) |
progress-bar: re-draw last update if nothing new for 1sec.
Slightly nicer behavior when updates are somewhat far apart (during a long linking step, perhaps) ensuring things don't appear unresponsive. If we wait the maximum amount for the update, don't bother waiting another 50ms (for rate-limiting purposes) and just check if we should quit. This also ensures we'll notice the request to quit within 1s if quit is signalled but there is not an udpate. (I'm not sure if this happens or not)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions