function jscoverage_endLengthyOperation() {
  setTimeout(function() {
    jscoverage_inLengthyOperation = false;
    var tabs = document.getElementById('tabs').getElementsByTagName('div');
    var i;
    for (i = 0; i < tabs.length; i++) {
      tabs.item(i).style.cursor = '';
    }
  }, 50);
}
Removes the progress bar and busy cursor.