code: function jscoverage_endLengthyOperation() {
    var progressBar = document.getElementById('progressBar');
    ProgressBar.setPercentage(progressBar, 100);
    setTimeout(function() {
      jscoverage_inLengthyOperation = false;
      progressBar.style.visibility = 'hidden';
      var progressLabel = document.getElementById('progressLabel');
      progressLabel.style.visibility = 'hidden';
      progressLabel.innerHTML = '';
  
      var tabs = document.getElementById('tabs').getElementsByTagName('div');
      var i;
      for (i = 0; i < tabs.length; i++) {
        tabs.item(i).style.cursor = '';
      }
    }, 50);
  }
docs: Removes the progress bar and busy cursor.