// tabbedDivs.js
// Used with TabbedDivElement
// requires prototype.js
// 08-Feb-20: get selectTabAtIndex going


function showDivIn(divToShow, divsToClear, tabid) {
	var sdiv = $(divToShow);
	var cdiv;
	for(var i = 0; i < divsToClear.length; i++) {
		cdiv = $(divsToClear[i]);
		Element.hide(cdiv);
	}
	Element.show(sdiv);
	var idx = divsToClear.indexOf(divToShow);
	ddtabmenu.selectTabAtIndex(tabid, idx); 
}