if (tinyMCE.getParam("save_enablewhendirty") && !inst.isDirty()) return true;  if (formObj) { tinyMCE.triggerSave();   var os; if ((os = tinyMCE.getParam("save_onsavecallback"))) { if (eval(os + '(inst);')) { inst.startContent = tinyMCE.trim(inst.getBody().innerHTML); /*inst.undoLevels = new Array(); inst.undoIndex = 0; inst.typingUndoIndex = -1; inst.undoRedo = true; inst.undoLevels[inst.undoLevels.length] = inst.startContent;*/ tinyMCE.triggerNodeChange(false, true); }  return true; }   for (var i=0; i<formObj.elements.length; i++) { var elementId = formObj.elements[i].name ? formObj.elements[i].name : formObj.elements[i].id;  if (elementId.indexOf('mce_editor_') == 0) formObj.elements[i].disabled = true; }  tinyMCE.isNotDirty = true;  if (formObj.onsubmit == null || formObj.onsubmit() != false) inst.formElement.form.submit(); } else alert("Error: No form element found.");  return true; } 
	execCommand : function(editor_id, element, command, user_interface, value) {		// Handle commands		switch (command) {			case "mceSave":				if (tinyMCE.getParam("fullscreen_is_enabled"))					return true;				var inst = tinyMCE.selectedInstance;				var formObj = inst.formElement.form;				if (tinyMCE.getParam("save_enablewhendirty") && !inst.isDirty())					return true;				if (formObj) {					tinyMCE.triggerSave();					// Use callback instead					var os;					if ((os = tinyMCE.getParam("save_onsavecallback"))) {						if (eval(os + '(inst);')) {							inst.startContent = tinyMCE.trim(inst.getBody().innerHTML);							/*inst.undoLevels = new Array();							inst.undoIndex = 0;							inst.typingUndoIndex = -1;							inst.undoRedo = true;							inst.undoLevels[inst.undoLevels.length] = inst.startContent;*/							tinyMCE.triggerNodeChange(false, true);						}						return true;					}					// Disable all UI form elements that TinyMCE created					for (var i=0; i<formObj.elements.length; i++) {						var elementId = formObj.elements[i].name ? formObj.elements[i].name : formObj.elements[i].id;						if (elementId.indexOf('mce_editor_') == 0)							formObj.elements[i].disabled = true;					}					tinyMCE.isNotDirty = true;					if (formObj.onsubmit == null || formObj.onsubmit() != false)						inst.formElement.form.submit();				} else					alert("Error: No form element found.");				return true;		}		// Pass to next handler in chain		return false;	},
3623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3623/32d3515ec5cf941c718954b41f19cc777ee4a50e/editor_plugin_src.js/buggy/ain7-website/ain7/media/js/tiny_mce/plugins/save/editor_plugin_src.js