Workbench UI getting unresponsive on certain operations
Might be related to/duplicate of #532.
During some operations (noticed push and commit particularly) the UI gets unresponsive for a bit (a few seconds). Concrete example: commit changes to a bigger repository (but not something colossal: ~1000 revisions, 200MB size). While the commit runs clicking anywhere in the Workbench is not doing anything for a few seconds.
Hardware is not an issue.