add: if(window.ajax_unload) ajax_unload(); 
context: function actionRequest(showlabel,labeltext) {	actionInProgress = true;	ajax_updateState = 0;	if (showlabel) {		var label = document.getElementById("action_in_progress");		var gray_layer = document.getElementById("grey_out");		if (label != null) {				if(labeltext != null)			{				var label_span = document.getElementById("progress_label");				if(label_span != null) 					label_span.innerHTML = labeltext;			}			if(gray_layer != null)			{				if(gray_layer.className == 'hidden')					gray_layer.className = '';			}			if(label.className == 'hidden')			{				//only if using style.visibility (not style.display!!) we can center the div exactly				label.className = '';				center_div("action_in_progress",document.getElementById("action_in_progress").offsetWidth,document.getElementById("action_in_progress").offsetHeight);			}			else 				label.style.display = 'block';		}	}}
meta: 9258	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9258/3475dd8232b708d8b2891ba631110e99d4b92ef5/common.js/buggy/trunk/html/js/common.js