 if (editor != null) return;  
function aspNetEditor_initialize(){	dump ("Initialising...");	editor = new aspNetEditor ();	dump ("\tCreated editor, initialising...");	editor.initialize ();	dump ("\tEditor initialised, creating host...");	host = new aspNetHost ();	dump ("\tHost created, initialising...");	host.initialize ();	dump ("\tHost initialised, creating clipboard...");	clip = new clipboard ();	dump ("\tClipboard created.");	dump ("Initialised.");}
3296	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3296/53691a015ddfe167dece40b2d345f0d10608dd05/editor.js/clean/Extras/AspNetEdit/chrome/content/aspdesigner/editor.js