Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I think this was a real bug. Its symptom would be that after a task produced output, if nothing else happened, we might wait a while before updating the UI. From looking at #68, but won't fix it.
- Loading branch information