context: function processEndOfDownload(){  if (!keepProgressWindowUpBox.checked)    return window.setTimeout( "closeWindow();", 2000 ); // shut down, we are all done.    // o.t the user has asked the window to stay open so leave it open and enable the open and open new folder buttons  setupPostProgressUI();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0b2dd2b2d2fd037df917e07645fa019a963332a5/helperAppDldProgress.js/clean/xpfe/components/ucth/resources/helperAppDldProgress.js