add: case mid_screen: setSizeContainer.y2 = objectArrayElement.y+objectArrayElement.height; break; 
context: function setSizeArray(objectName, objectArrayElement, rleft, rtop, rright, rbottom){	// Use this function as a shortcut to change the size of a GUI control, via an array containing x, y, width, height and 4 relative sizes. 	// Alternatively, specify 4 relative sizes to override and use these ones instead.	setSizeContainer = new Object();	// Override with relative parameter if given.	if (rleft && rtop && rright && rbottom)	{		objectArrayElement.rleft = rleft;		objectArrayElement.rtop = rtop;		objectArrayElement.rright = rright;		objectArrayElement.rbottom = rbottom;	}	setSizeContainer.rleft = objectArrayElement.rleft;	setSizeContainer.rtop = objectArrayElement.rtop;	setSizeContainer.rright = objectArrayElement.rright;	setSizeContainer.rbottom = objectArrayElement.rbottom;	// Define size dimensions.	switch (setSizeContainer.rleft)	{		case left_screen:			setSizeContainer.x1 = objectArrayElement.x;		break;		case right_screen:			setSizeContainer.x1 = -objectArrayElement.x-objectArrayElement.width;		break;	}	switch (setSizeContainer.rtop)	{		case top_screen:			setSizeContainer.y1 = objectArrayElement.y;		break;		case bottom_screen:			setSizeContainer.y1 = -objectArrayElement.y-objectArrayElement.height;		break;	}	switch (setSizeContainer.rright)	{		case left_screen:			setSizeContainer.x2 = objectArrayElement.x+objectArrayElement.width;		break;		case right_screen:			if (setSizeContainer.rleft == right_screen)				setSizeContainer.x2 = -objectArrayElement.x;			else				setSizeContainer.x2 = -objectArrayElement.width;						break;	}	switch (setSizeContainer.rbottom)	{		case top_screen:			setSizeContainer.y2 = objectArrayElement.y+objectArrayElement.height;		break;		case bottom_screen:			if (setSizeContainer.rtop == bottom_screen)				setSizeContainer.y2 = -objectArrayElement.y;			else				setSizeContainer.y2 = -objectArrayElement.height;		break;	}	// Set appropriate size for dimensions.	getGUIObjectByName(objectName).size = new GUISize(setSizeContainer.x1, setSizeContainer.y1, setSizeContainer.x2, setSizeContainer.y2, setSizeContainer.rleft, setSizeContainer.rtop, setSizeContainer.rright, setSizeContainer.rbottom);} 
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/5ddc599314f4f43cf116d7dac334168bff6f4ad5/functions_utility_coord.js/buggy/binaries/data/mods/official/gui/test/functions_utility_coord.js