Indicate busyness of worker
For GUI experience, it would be nice if the worker would indicate whether it is busy. We could also highlight the current query that the worker is busy with.
For GUI experience, it would be nice if the worker would indicate whether it is busy. We could also highlight the current query that the worker is busy with.