diff options
| author | Michal Schmidt <mschmidt@redhat.com> | 2013-03-12 22:28:44 +0100 |
|---|---|---|
| committer | Michal Schmidt <mschmidt@redhat.com> | 2013-03-13 00:13:24 +0100 |
| commit | 5b176ee064d9737fd933dfeb660d015c19649794 (patch) | |
| tree | 4344e5285ce78918ceef64640234681527c309c1 /CODING_STYLE | |
| parent | 6bde0b3220e95a08cefb70846f73b2cf24b7734a (diff) | |
manager: push back animation timer whenever a job finishes
The running jobs animation is supposed to hide itself when jobs are
progressing sufficiently fast.
Diffstat (limited to 'CODING_STYLE')
0 files changed, 0 insertions, 0 deletions