rem: if (name == 'graph') Element.hide('nongraph'); else Element.show('nongraph'); 
add: Element.setVisible('nongraph', name != 'graph'); Element.setVisible('input-area', name != 'help'); Element.setVisible('replacement-area', name == 'replace'); 
context: TabController.select = function(name) {	if (typeof name != 'string') {		var tab = name;		name = tab.innerHTML.toLowerCase();		Element.addClassName(tab.parentNode, 'selected');		if (this.lastTab)			Element.removeClassName(this.lastTab.parentNode, 'selected');		this.lastTab = tab;	}    if (name == 'graph')        Element.hide('nongraph');    else        Element.show('nongraph');	Element.hide.apply(null, $H(TabController.controllers).keys());	Element.show(name);	TabController.selected = this.controllers[name];}
meta: 5392	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5392/2c1304870e5184292821578ddcd462c55aac83bd/rework.js/buggy/tools/reanimator/rework.js