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);
}
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);
}
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 ) ; }
Removes the progress bar and busy cursor.
Removes the progress bar and busy cursor .