chiark / gitweb /
manager: push back animation timer whenever a job finishes
authorMichal Schmidt <mschmidt@redhat.com>
Tue, 12 Mar 2013 21:28:44 +0000 (22:28 +0100)
committerMichal Schmidt <mschmidt@redhat.com>
Tue, 12 Mar 2013 23:13:24 +0000 (00:13 +0100)
commit5b176ee064d9737fd933dfeb660d015c19649794
tree4344e5285ce78918ceef64640234681527c309c1
parent6bde0b3220e95a08cefb70846f73b2cf24b7734a
manager: push back animation timer whenever a job finishes

The running jobs animation is supposed to hide itself when jobs are
progressing sufficiently fast.
src/core/manager.c