rem:  case rb: case lb: case lt: case rt: GUIType = NewGUIType; 
add:  case rb: case lb: case lt: case rt: GUIType = NewGUIType; 
context: function flipGUI (NewGUIType){	// Changes GUI to a different layout.	switch (NewGUIType)	{		// Set which GUI to use.		case rb:		case lb:		case lt:		case rt:			GUIType = NewGUIType;		break;		default:			// If no type specified, toggle.			if (GUIType == rb)				GUIType = lb;			else			if (GUIType == lb)				GUIType = lt;			else			if (GUIType == lt)				GUIType = rt;			else				GUIType = rb;		break;	}	// Seek through all sizes created.	for (var i = 0; i <= Crd.last; i++)	{		// Set their sizes to the stored value.		getGUIObjectByName (Crd[i].name).size = Crd[i].size[GUIType];	}	writeConsole("GUI flipped to size " + GUIType + ".");}
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/43323342db248d6227b69129e134b6eea35acbfa/functions_page_session.js/clean/binaries/data/mods/official/gui/test/functions_page_session.js