rem:  if (!baseLibVersion) alert("ERROR: baselib.js not loaded!"); if (isDigilibInitialized) return false; dlArea = new Rectangle(0.0, 0.0, 1.0, 1.0); dlMaxArea = new Rectangle(0.0, 0.0, 1.0, 1.0); dlTrafo = new Transform(); dlMarks = new Array(); dlFlags = new Object(); elemScaler = null; picElem = null; ZOOMFACTOR = Math.sqrt(2);  parseAllParameters(); isDigilibInitialized = true; return true; } 
add:  if (!baseLibVersion) alert("ERROR: baselib.js not loaded!"); if (isDigilibInitialized) return false; dlMaxArea = new Rectangle(0.0, 0.0, 1.0, 1.0); dlTrafo = new Transform();    elemScaler = null; picElem = null;  parseAllParameters(); isDigilibInitialized = true; return true; } 
context: function dl_param_init() {	// initialisation before onload	if (!baseLibVersion) alert("ERROR: baselib.js not loaded!");	if (isDigilibInitialized) return false;	// dl_param_init was already run 	dlArea = new Rectangle(0.0, 0.0, 1.0, 1.0);	dlMaxArea = new Rectangle(0.0, 0.0, 1.0, 1.0);	dlTrafo = new Transform();	dlMarks = new Array();	dlFlags = new Object();	elemScaler = null;	picElem = null;	ZOOMFACTOR = Math.sqrt(2);	// parse parameters	parseAllParameters();	isDigilibInitialized = true;	return true;	}
meta: 7747	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7747/b558443abc997acd0db2f5f940a087d1a2056c8e/dllib.js/clean/client/digitallibrary/greyskin/dllib.js