rem: Element.hide.apply(null, $H(TabController.controllers).keys()); 
add:  for (var k in TabController.controllers) Element.hide(TabController.controllers[k].view); 
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;	}    Element.setVisible('nongraph', name != 'graph' && name != 'tree');    Element.setVisible('input-area', name != 'multiple');    Element.setVisible('extended-area', name != 'help');    Element.setVisible('replacement-area', name == 'replace');	Element.hide.apply(null, $H(TabController.controllers).keys());	Element.show(name);    var controller = this.controllers[name];	TabController.selected = controller;    if (this._updateArguments)        controller.updateContents.apply(controller, this._updateArguments);};
meta: 5392	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5392/b08d86e534f7d4137a98427edd6e8d8c59994bb0/rework.js/buggy/tools/reanimator/rework.js