rem:  template['file'] = "../../../../../.." + getWebguiProperty ("pageURL") + '?op=richEditPageTree'; 
add:   var seperator = ''; if (getWebguiProperty ("pageURL").match(/\?/)) { seperator = ';' } else { seperator = '?'} template['file'] = "../../../../../.." + getWebguiProperty ("pageURL") + seperator + 'op=richEditPageTree'; 
context: function TinyMCE_pagetree_execCommand(editor_id, element, command, user_interface, value) {	// Handle commands        switch (command) {		case "wgPageTree":			var template = new Array();									//alert(getWebguiProperty("pageURL"));			template['file'] = "../../../../../.." + getWebguiProperty ("pageURL") + '?op=richEditPageTree';					//	alert(template['file']);			template['width'] = 500;			template['height'] = 500;			tinyMCE.openWindow(template, {editor_id : editor_id});			return true;	}	// Pass to next handler in chain	return false;}
meta: 1948	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1948/c80902b65d816625a9723fb0a64a5380455c9726/editor_plugin.js/buggy/www/extras/tinymce2/jscripts/tiny_mce/plugins/pagetree/editor_plugin.js