rem: if ($('save-panel').style.display == 'none') { 
add: var panel = $('save-panel'); if (!document.savePanelShow) { 
context: 	'#show-options' : function (element) {			element.onclick = function() {				if ($('save-panel').style.display == 'none') {					this.innerHTML = "Hide Options";					new Effect.BlindDown('save-panel');					updateCollections();				} else {					this.innerHTML = "Show Options";					new Effect.BlindUp('save-panel');				}				return false;			}	}
meta: 1782	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1782/3f0bcc29b1d13b6ec87c6b75980c7f271e175e80/sandbox.js/clean/webapp/sandbox/scripts/sandbox.js