rem: GLOBAL_WATERMARK_COMPANY_LOGO 		= addSizeArrayWH(globalCoord, globalCoord_Last, 207, 28 ); globalCoord_Last 			= addSizeArrayXY(globalCoord, globalCoord_Last, 0, 0 ); 
add: GLOBAL_WATERMARK_COMPANY_LOGO = addArrayElement(Crd, Crd.last); Crd[Crd.last-1].rleft	= right_screen;	Crd[Crd.last-1].rtop	= bottom_screen; Crd[Crd.last-1].rright	= right_screen;	Crd[Crd.last-1].rbottom	= bottom_screen; Crd[Crd.last-1].width	= 207; Crd[Crd.last-1].height	= 28; Crd[Crd.last-1].x	= 0; Crd[Crd.last-1].y	= 0; 
context: function initGlobal(){	// Initialise coordinate set for this page.	globalCoord = new Array();	globalCoord_Last = 0;	// Bottom-left product logo; used when taking official screenshots.	GLOBAL_WATERMARK_PRODUCT_LOGO 		= addSizeArrayWH(globalCoord, globalCoord_Last,		200,		98	); globalCoord_Last 			= addSizeArrayXY(globalCoord, globalCoord_Last,		0,		0	);	// Bottom-right company logo; used when taking official screenshots.	GLOBAL_WATERMARK_COMPANY_LOGO 		= addSizeArrayWH(globalCoord, globalCoord_Last,		207,		28	); globalCoord_Last 			= addSizeArrayXY(globalCoord, globalCoord_Last,		0,		0	);}
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/79e56cf113523b71f02d6891bece166f364742e7/functions_global.js/buggy/binaries/data/mods/official/gui/test/functions_global.js