rem:  var val = getParameter(param); var newval = window.prompt(text, val); if (newval) { setParameter(param, newval, relative); display(); } 
add:  var val = getParameter(param); var newval = window.prompt(text, val); if (newval) { setParameter(param, newval, relative); display(); } 
context: function setParamWin(param, text, relative) {	// dialog to ask for new parameter value	var val = getParameter(param);	var newval = window.prompt(text, val);	if (newval) {		setParameter(param, newval, relative);		display();	}}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/b558443abc997acd0db2f5f940a087d1a2056c8e/dllib.js/clean/client/digitallibrary/greyskin/dllib.js