Added a delay before resetting the download counters in the GUI.
commitee51d0bd5f108343a043d0d733f0f82d4778f406
authorThomas Leonard <talex5@gmail.com>
Sat, 9 Feb 2008 21:15:29 +0000 (9 21:15 +0000)
committerThomas Leonard <talex5@gmail.com>
Sat, 9 Feb 2008 21:15:29 +0000 (9 21:15 +0000)
tree4c2575dd66bd9b826b515bc6af6c5bcd2b45468c
parentb1de4872f878d733c70698b2faaa90d0df0db687
Added a delay before resetting the download counters in the GUI.

Often, we finish a download and then start another one right away
(e.g. downloading a feed and then its key). Count that as a sequence
of two downloads, not two single downloads.
zeroinstall/0launch-gui/gui.py