editarea-rails 0.0.1

data/vendor/assets/javascripts/elements_functions.js

@@ -0,0 +1,336 @@
+/****
+ * This page contains some general usefull functions for javascript
+ *
+ ****/  
+	
+	
+	// need to redefine this functiondue to IE problem
+	function getAttribute( elm, aName ) {
+		var aValue,taName,i;
+		try{
+			aValue = elm.getAttribute( aName );
+		}catch(exept){}
+		
+		if( ! aValue ){
+			for( i = 0; i < elm.attributes.length; i ++ ) {
+				taName = elm.attributes[i] .name.toLowerCase();
+				if( taName == aName ) {
+					aValue = elm.attributes[i] .value;
+					return aValue;
+				}
+			}
+		}
+		return aValue;
+	};
+	
+	// need to redefine this function due to IE problem
+	function setAttribute( elm, attr, val ) {
+		if(attr=="class"){
+			elm.setAttribute("className", val);
+			elm.setAttribute("class", val);
+		}else{
+			elm.setAttribute(attr, val);
+		}
+	};
+	
+	/* return a child element
+		elem: element we are searching in
+		elem_type: type of the eleemnt we are searching (DIV, A, etc...)
+		elem_attribute: attribute of the searched element that must match
+		elem_attribute_match: value that elem_attribute must match
+		option: "all" if must return an array of all children, otherwise return the first match element
+		depth: depth of search (-1 or no set => unlimited)
+	*/
+	function getChildren(elem, elem_type, elem_attribute, elem_attribute_match, option, depth)
+	{           
+		if(!option)
+			var option="single";
+		if(!depth)
+			var depth=-1;
+		if(elem){
+			var children= elem.childNodes;
+			var result=null;
+			var results= [];
+			for (var x=0;x<children.length;x++) {
+				strTagName = new String(children[x].tagName);
+				children_class="?";
+				if(strTagName!= "undefined"){
+					child_attribute= getAttribute(children[x],elem_attribute);
+					if((strTagName.toLowerCase()==elem_type.toLowerCase() || elem_type=="") && (elem_attribute=="" || child_attribute==elem_attribute_match)){
+						if(option=="all"){
+							results.push(children[x]);
+						}else{
+							return children[x];
+						}
+					}
+					if(depth!=0){
+						result=getChildren(children[x], elem_type, elem_attribute, elem_attribute_match, option, depth-1);
+						if(option=="all"){
+							if(result.length>0){
+								results= results.concat(result);
+							}
+						}else if(result!=null){                                                                          
+							return result;
+						}
+					}
+				}
+			}
+			if(option=="all")
+			   return results;
+		}
+		return null;
+	};       
+	
+	function isChildOf(elem, parent){
+		if(elem){
+			if(elem==parent)
+				return true;
+			while(elem.parentNode != 'undefined'){
+				return isChildOf(elem.parentNode, parent);
+			}
+		}
+		return false;
+	};
+	
+	function getMouseX(e){
+
+		if(e!=null && typeof(e.pageX)!="undefined"){
+			return e.pageX;
+		}else{
+			return (e!=null?e.x:event.x)+ document.documentElement.scrollLeft;
+		}
+	};
+	
+	function getMouseY(e){
+		if(e!=null && typeof(e.pageY)!="undefined"){
+			return e.pageY;
+		}else{
+			return (e!=null?e.y:event.y)+ document.documentElement.scrollTop;
+		}
+	};
+	
+	function calculeOffsetLeft(r){
+		return calculeOffset(r,"offsetLeft")
+	};
+	
+	function calculeOffsetTop(r){
+		return calculeOffset(r,"offsetTop")
+	};
+	
+	function calculeOffset(element,attr){
+		var offset=0;
+		while(element){
+			offset+=element[attr];
+			element=element.offsetParent
+		}
+		return offset;
+	};
+	
+	/** return the computed style
+	 *	@param: elem: the reference to the element
+	 *	@param: prop: the name of the css property	 
+	 */
+	function get_css_property(elem, prop)
+	{
+		if(document.defaultView)
+		{
+			return document.defaultView.getComputedStyle(elem, null).getPropertyValue(prop);
+		}
+		else if(elem.currentStyle)
+		{
+			var prop = prop.replace(/-\D/gi, function(sMatch)
+			{
+				return sMatch.charAt(sMatch.length - 1).toUpperCase();
+			});
+			return elem.currentStyle[prop];
+		}
+		else return null;
+	}
+	
+/****
+ * Moving an element 
+ ***/  
+	
+	var _mCE;	// currently moving element
+	
+	/* allow to move an element in a window
+		e: the event
+		id: the id of the element
+		frame: the frame of the element 
+		ex of use:
+			in html:	<img id='move_area_search_replace' onmousedown='return parent.start_move_element(event,"area_search_replace", parent.frames["this_frame_id"]);' .../>  
+		or
+			in javascript: document.getElementById("my_div").onmousedown= start_move_element
+	*/
+	function start_move_element(e, id, frame){
+		var elem_id=(e.target || e.srcElement).id;
+		if(id)
+			elem_id=id;		
+		if(!frame)
+			frame=window;
+		if(frame.event)
+			e=frame.event;
+			
+		_mCE= frame.document.getElementById(elem_id);
+		_mCE.frame=frame;
+		frame.document.onmousemove= move_element;
+		frame.document.onmouseup= end_move_element;
+		/*_mCE.onmousemove= move_element;
+		_mCE.onmouseup= end_move_element;*/
+		
+		//alert(_mCE.frame.document.body.offsetHeight);
+		
+		mouse_x= getMouseX(e);
+		mouse_y= getMouseY(e);
+		//window.status=frame+ " elem: "+elem_id+" elem: "+ _mCE + " mouse_x: "+mouse_x;
+		_mCE.start_pos_x = mouse_x - (_mCE.style.left.replace("px","") || calculeOffsetLeft(_mCE));
+		_mCE.start_pos_y = mouse_y - (_mCE.style.top.replace("px","") || calculeOffsetTop(_mCE));
+		return false;
+	};
+	
+	function end_move_element(e){
+		_mCE.frame.document.onmousemove= "";
+		_mCE.frame.document.onmouseup= "";		
+		_mCE=null;
+	};
+	
+	function move_element(e){
+		var newTop,newLeft,maxLeft;
+
+		if( _mCE.frame && _mCE.frame.event )
+			e=_mCE.frame.event;
+		newTop	= getMouseY(e) - _mCE.start_pos_y;
+		newLeft	= getMouseX(e) - _mCE.start_pos_x;
+		
+		maxLeft	= _mCE.frame.document.body.offsetWidth- _mCE.offsetWidth;
+		max_top	= _mCE.frame.document.body.offsetHeight- _mCE.offsetHeight;
+		newTop	= Math.min(Math.max(0, newTop), max_top);
+		newLeft	= Math.min(Math.max(0, newLeft), maxLeft);
+		
+		_mCE.style.top	= newTop+"px";
+		_mCE.style.left	= newLeft+"px";		
+		return false;
+	};
+	
+/***
+ * Managing a textarea (this part need the navigator infos from editAreaLoader
+ ***/ 
+	
+	var nav= editAreaLoader.nav;
+	
+	// allow to get infos on the selection: array(start, end)
+	function getSelectionRange(textarea){
+		return {"start": textarea.selectionStart, "end": textarea.selectionEnd};
+	};
+	
+	// allow to set the selection
+	function setSelectionRange(t, start, end){
+		t.focus();
+		
+		start	= Math.max(0, Math.min(t.value.length, start));
+		end		= Math.max(start, Math.min(t.value.length, end));
+	
+		if( nav.isOpera && nav.isOpera < 9.6 ){	// Opera bug when moving selection start and selection end
+			t.selectionEnd = 1;	
+			t.selectionStart = 0;			
+			t.selectionEnd = 1;	
+			t.selectionStart = 0;		
+		}
+		t.selectionStart	= start;
+		t.selectionEnd		= end;		
+		//textarea.setSelectionRange(start, end);
+		
+		if(nav.isIE)
+			set_IE_selection(t);
+	};
+
+	
+	// set IE position in Firefox mode (textarea.selectionStart and textarea.selectionEnd). should work as a repeated task
+	function get_IE_selection(t){
+		var d=document,div,range,stored_range,elem,scrollTop,relative_top,line_start,line_nb,range_start,range_end,tab;
+		if(t && t.focused)
+		{	
+			if(!t.ea_line_height)
+			{	// calculate the lineHeight
+				div= d.createElement("div");
+				div.style.fontFamily= get_css_property(t, "font-family");
+				div.style.fontSize= get_css_property(t, "font-size");
+				div.style.visibility= "hidden";			
+				div.innerHTML="0";
+				d.body.appendChild(div);
+				t.ea_line_height= div.offsetHeight;
+				d.body.removeChild(div);
+			}
+			//t.focus();
+			range = d.selection.createRange();
+			try
+			{
+				stored_range = range.duplicate();
+				stored_range.moveToElementText( t );
+				stored_range.setEndPoint( 'EndToEnd', range );
+				if(stored_range.parentElement() == t){
+					// the range don't take care of empty lines in the end of the selection
+					elem		= t;
+					scrollTop	= 0;
+					while(elem.parentNode){
+						scrollTop+= elem.scrollTop;
+						elem	= elem.parentNode;
+					}
+				
+				//	var scrollTop= t.scrollTop + document.body.scrollTop;
+					
+				//	var relative_top= range.offsetTop - calculeOffsetTop(t) + scrollTop;
+					relative_top= range.offsetTop - calculeOffsetTop(t)+ scrollTop;
+				//	alert("rangeoffset: "+ range.offsetTop +"\ncalcoffsetTop: "+ calculeOffsetTop(t) +"\nrelativeTop: "+ relative_top);
+					line_start	= Math.round((relative_top / t.ea_line_height) +1);
+					
+					line_nb		= Math.round(range.boundingHeight / t.ea_line_height);
+					
+					range_start	= stored_range.text.length - range.text.length;
+					tab	= t.value.substr(0, range_start).split("\n");			
+					range_start	+= (line_start - tab.length)*2;		// add missing empty lines to the selection
+					t.selectionStart = range_start;
+					
+					range_end	= t.selectionStart + range.text.length;
+					tab	= t.value.substr(0, range_start + range.text.length).split("\n");			
+					range_end	+= (line_start + line_nb - 1 - tab.length)*2;
+					t.selectionEnd = range_end;
+				}
+			}
+			catch(e){}
+		}
+		if( t && t.id )
+		{
+			setTimeout("get_IE_selection(document.getElementById('"+ t.id +"'));", 50);
+		}
+	};
+	
+	function IE_textarea_focus(){
+		event.srcElement.focused= true;
+	}
+	
+	function IE_textarea_blur(){
+		event.srcElement.focused= false;
+	}
+	
+	// select the text for IE (take into account the \r difference)
+	function set_IE_selection( t ){
+		var nbLineStart,nbLineStart,nbLineEnd,range;
+		if(!window.closed){ 
+			nbLineStart=t.value.substr(0, t.selectionStart).split("\n").length - 1;
+			nbLineEnd=t.value.substr(0, t.selectionEnd).split("\n").length - 1;
+			try
+			{
+				range = document.selection.createRange();
+				range.moveToElementText( t );
+				range.setEndPoint( 'EndToStart', range );
+				range.moveStart('character', t.selectionStart - nbLineStart);
+				range.moveEnd('character', t.selectionEnd - nbLineEnd - (t.selectionStart - nbLineStart)  );
+				range.select();
+			}
+			catch(e){}
+		}
+	};
+	
+	
+	editAreaLoader.waiting_loading["elements_functions.js"]= "loaded";

data/vendor/assets/javascripts/highlight.js

@@ -0,0 +1,407 @@
+	// change_to: "on" or "off"
+	EditArea.prototype.change_highlight= function(change_to){
+		if(this.settings["syntax"].length==0 && change_to==false){
+			this.switchClassSticky(_$("highlight"), 'editAreaButtonDisabled', true);
+			this.switchClassSticky(_$("reset_highlight"), 'editAreaButtonDisabled', true);
+			return false;
+		}
+		
+		if(this.do_highlight==change_to)
+			return false;
+	
+			
+		this.getIESelection();
+		var pos_start= this.textarea.selectionStart;
+		var pos_end= this.textarea.selectionEnd;
+		
+		if(this.do_highlight===true || change_to==false)
+			this.disable_highlight();
+		else
+			this.enable_highlight();
+		this.textarea.focus();
+		this.textarea.selectionStart = pos_start;
+		this.textarea.selectionEnd = pos_end;
+		this.setIESelection();
+				
+	};
+	
+	EditArea.prototype.disable_highlight= function(displayOnly){
+		var t= this, a=t.textarea, new_Obj, old_class, new_class;
+			
+		t.selection_field.innerHTML="";
+		t.selection_field_text.innerHTML="";
+		t.content_highlight.style.visibility="hidden";
+		// replacing the node is far more faster than deleting it's content in firefox
+		new_Obj= t.content_highlight.cloneNode(false);
+		new_Obj.innerHTML= "";			
+		t.content_highlight.parentNode.insertBefore(new_Obj, t.content_highlight);
+		t.content_highlight.parentNode.removeChild(t.content_highlight);	
+		t.content_highlight= new_Obj;
+		old_class= parent.getAttribute( a,"class" );
+		if(old_class){
+			new_class= old_class.replace( "hidden","" );
+			parent.setAttribute( a, "class", new_class );
+		}
+	
+		a.style.backgroundColor="transparent";	// needed in order to see the bracket finders
+		
+		//var icon= document.getElementById("highlight");
+		//setAttribute(icon, "class", getAttribute(icon, "class").replace(/ selected/g, "") );
+		//t.restoreClass(icon);
+		//t.switchClass(icon,'editAreaButtonNormal');
+		t.switchClassSticky(_$("highlight"), 'editAreaButtonNormal', true);
+		t.switchClassSticky(_$("reset_highlight"), 'editAreaButtonDisabled', true);
+	
+		t.do_highlight=false;
+	
+		t.switchClassSticky(_$("change_smooth_selection"), 'editAreaButtonSelected', true);
+		if(typeof(t.smooth_selection_before_highlight)!="undefined" && t.smooth_selection_before_highlight===false){
+			t.change_smooth_selection_mode(false);
+		}
+		
+	//	this.textarea.style.backgroundColor="#FFFFFF";
+	};
+
+	EditArea.prototype.enable_highlight= function(){
+		var t=this, a=t.textarea, new_class;
+		t.show_waiting_screen();
+			
+		t.content_highlight.style.visibility="visible";
+		new_class	=parent.getAttribute(a,"class")+" hidden";
+		parent.setAttribute( a, "class", new_class );
+		
+		// IE can't manage mouse click outside text range without this
+		if( t.isIE )
+			a.style.backgroundColor="#FFFFFF";	
+
+		t.switchClassSticky(_$("highlight"), 'editAreaButtonSelected', false);
+		t.switchClassSticky(_$("reset_highlight"), 'editAreaButtonNormal', false);
+		
+		t.smooth_selection_before_highlight=t.smooth_selection;
+		if(!t.smooth_selection)
+			t.change_smooth_selection_mode(true);
+		t.switchClassSticky(_$("change_smooth_selection"), 'editAreaButtonDisabled', true);
+		
+		
+		t.do_highlight=true;
+		t.resync_highlight();
+					
+		t.hide_waiting_screen();	
+	};
+	
+	/**
+	 * Ask to update highlighted text
+	 * @param Array infos - Array of datas returned by EditArea.get_selection_infos()
+	 */
+	EditArea.prototype.maj_highlight= function(infos){
+		// for speed mesure
+		var debug_opti="",tps_start= new Date().getTime(), tps_middle_opti=new Date().getTime();
+		var t=this, hightlighted_text, updated_highlight;	
+		var textToHighlight=infos["full_text"], doSyntaxOpti = false, doHtmlOpti = false, stay_begin="", stay_end="", trace_new , trace_last;
+		
+		if(t.last_text_to_highlight==infos["full_text"] && t.resync_highlight!==true)
+			return;
+					
+		//  OPTIMISATION: will search to update only changed lines
+		if(t.reload_highlight===true){
+			t.reload_highlight=false;
+		}else if(textToHighlight.length==0){
+			textToHighlight="\n ";
+		}else{
+			// get text change datas
+			changes = t.checkTextEvolution(t.last_text_to_highlight,textToHighlight);
+			
+			// check if it can only reparse the changed text
+			trace_new		= t.get_syntax_trace(changes.newTextLine).replace(/\r/g, '');
+			trace_last		= t.get_syntax_trace(changes.lastTextLine).replace(/\r/g, '');
+			doSyntaxOpti	= ( trace_new == trace_last );
+			
+			// check if the difference comes only from a new line created 
+			// => we have to remember that the editor can automaticaly add tabulation or space after the new line) 
+			if( !doSyntaxOpti && trace_new == "\n"+trace_last && /^[ \t\s]*\n[ \t\s]*$/.test( changes.newText.replace(/\r/g, '') ) && changes.lastText =="" )
+			{
+				doSyntaxOpti	= true;
+			}
+			
+			// we do the syntax optimisation
+			if( doSyntaxOpti ){
+						
+				tps_middle_opti=new Date().getTime();	
+			
+				stay_begin= t.last_hightlighted_text.split("\n").slice(0, changes.lineStart).join("\n");
+				if(changes.lineStart>0)
+					stay_begin+= "\n";
+				stay_end= t.last_hightlighted_text.split("\n").slice(changes.lineLastEnd+1).join("\n");
+				if(stay_end.length>0)
+					stay_end= "\n"+stay_end;
+					
+				// Final check to see that we're not in the middle of span tags
+				if( stay_begin.split('<span').length != stay_begin.split('</span').length 
+					|| stay_end.split('<span').length != stay_end.split('</span').length )
+				{
+					doSyntaxOpti	= false;
+					stay_end		= '';
+					stay_begin		= '';
+				}
+				else
+				{
+					if(stay_begin.length==0 && changes.posLastEnd==-1)
+						changes.newTextLine+="\n";
+					textToHighlight=changes.newTextLine;
+				}
+			}
+			if(t.settings["debug"]){
+				var ch =changes;
+				debug_opti= ( doSyntaxOpti?"Optimisation": "No optimisation" )
+					+" start: "+ch.posStart +"("+ch.lineStart+")"
+					+" end_new: "+ ch.posNewEnd+"("+ch.lineNewEnd+")"
+					+" end_last: "+ ch.posLastEnd+"("+ch.lineLastEnd+")"
+					+"\nchanged_text: "+ch.newText+" => trace: "+trace_new
+					+"\nchanged_last_text: "+ch.lastText+" => trace: "+trace_last
+					//debug_opti+= "\nchanged: "+ infos["full_text"].substring(ch.posStart, ch.posNewEnd);
+					+ "\nchanged_line: "+ch.newTextLine
+					+ "\nlast_changed_line: "+ch.lastTextLine
+					+"\nstay_begin: "+ stay_begin.slice(-100)
+					+"\nstay_end: "+ stay_end.substr( 0, 100 );
+					//debug_opti="start: "+stay_begin_len+ "("+nb_line_start_unchanged+") end: "+ (stay_end_len)+ "("+(splited.length-nb_line_end_unchanged)+") ";
+					//debug_opti+="changed: "+ textToHighlight.substring(stay_begin_len, textToHighlight.length-stay_end_len)+" \n";
+					
+					//debug_opti+="changed: "+ stay_begin.substr(stay_begin.length-200)+ "----------"+ textToHighlight+"------------------"+ stay_end.substr(0,200) +"\n";
+					+"\n";
+			}
+	
+			
+			// END OPTIMISATION
+		}
+
+		tps_end_opti	= new Date().getTime();	
+				
+		// apply highlight
+		updated_highlight	= t.colorize_text(textToHighlight);
+		tpsAfterReg			= new Date().getTime();
+		
+		/***
+		 * see if we can optimize for updating only the required part of the HTML code
+		 * 
+		 * The goal here will be to find the text node concerned by the modification and to update it
+		 */
+		//-------------------------------------------
+		
+		// disable latest optimization tricks (introduced in 0.8.1 and removed in 0.8.2), TODO: check for another try later
+		doSyntaxOpti	= doHtmlOpti = false;
+		if( doSyntaxOpti )
+		{
+			try
+			{
+				var replacedBloc, i, nbStart = '', nbEnd = '', newHtml, lengthOld, lengthNew;
+				replacedBloc		= t.last_hightlighted_text.substring( stay_begin.length, t.last_hightlighted_text.length - stay_end.length );
+				
+				lengthOld	= replacedBloc.length;
+				lengthNew	= updated_highlight.length;
+				
+				// find the identical caracters at the beginning
+				for( i=0; i < lengthOld && i < lengthNew && replacedBloc.charAt(i) == updated_highlight.charAt(i) ; i++ )
+				{
+				}
+				nbStart = i;
+				// find the identical caracters at the end
+				for( i=0; i + nbStart < lengthOld && i + nbStart < lengthNew && replacedBloc.charAt(lengthOld-i-1) == updated_highlight.charAt(lengthNew-i-1) ; i++ )
+				{
+				}
+				nbEnd	= i;
+				//console.log( nbStart, nbEnd, replacedBloc, updated_highlight );
+				// get the changes
+				lastHtml	= replacedBloc.substring( nbStart, lengthOld - nbEnd );
+				newHtml		= updated_highlight.substring( nbStart, lengthNew - nbEnd );
+				
+				// We can do the optimisation only if we havn't touch to span elements
+				if( newHtml.indexOf('<span') == -1 && newHtml.indexOf('</span') == -1 
+					&& lastHtml.indexOf('<span') == -1 && lastHtml.indexOf('</span') == -1 )
+				{
+					var beginStr, nbOpendedSpan, nbClosedSpan, nbUnchangedChars, span, textNode;
+					doHtmlOpti		= true;
+					beginStr		= t.last_hightlighted_text.substr( 0, stay_begin.length + nbStart );
+					// fix special chars
+					newHtml			= newHtml.replace( /&lt;/g, '<').replace( /&gt;/g, '>').replace( /&amp;/g, '&');
+		
+					nbOpendedSpan	= beginStr.split('<span').length - 1;
+					nbClosedSpan	= beginStr.split('</span').length - 1;
+					// retrieve the previously opened span (Add 1 for the first level span?)
+					span 			= t.content_highlight.getElementsByTagName('span')[ nbOpendedSpan ];
+					
+					//--------[
+					// get the textNode to update
+					
+					// if we're inside a span, we'll take the one that is opened (can be a parent of the current span)
+					parentSpan		= span;
+					maxStartOffset	= maxEndOffset = 0;
+					
+					// it will be in the child of the root node 
+					if( nbOpendedSpan == nbClosedSpan )
+					{
+						while( parentSpan.parentNode != t.content_highlight && parentSpan.parentNode.tagName != 'PRE' )
+						{
+							parentSpan	= parentSpan.parentNode;
+						}
+					}
+					// get the last opened span
+					else
+					{
+						maxStartOffset	= maxEndOffset = beginStr.length + 1;
+						// move to parent node for each closed span found after the lastest open span
+						nbClosed = beginStr.substr( Math.max( 0, beginStr.lastIndexOf( '<span', maxStartOffset - 1 ) ) ).split('</span').length - 1;
+						while( nbClosed > 0 )
+						{
+							nbClosed--;
+							parentSpan = parentSpan.parentNode;
+						}
+						
+						// find the position of the last opended tag
+						while( parentSpan.parentNode != t.content_highlight && parentSpan.parentNode.tagName != 'PRE' && ( tmpMaxStartOffset = Math.max( 0, beginStr.lastIndexOf( '<span', maxStartOffset - 1 ) ) ) < ( tmpMaxEndOffset = Math.max( 0, beginStr.lastIndexOf( '</span', maxEndOffset - 1 ) ) ) )
+						{
+							maxStartOffset	= tmpMaxStartOffset;
+							maxEndOffset	= tmpMaxEndOffset;
+						}
+					}
+					// Note: maxEndOffset is no more used but maxStartOffset will be used
+					
+					if( parentSpan.parentNode == t.content_highlight || parentSpan.parentNode.tagName == 'PRE' )
+					{
+						maxStartOffset	= Math.max( 0, beginStr.indexOf( '<span' ) );
+					}
+					
+					// find the matching text node (this will be one that will be at the end of the beginStr
+					if( maxStartOffset == beginStr.length )
+					{
+						nbSubSpanBefore	= 0;
+					}
+					else
+					{
+						lastEndPos 				= Math.max( 0, beginStr.lastIndexOf( '>', maxStartOffset ) );
+		
+						// count the number of sub spans
+						nbSubSpanBefore			= beginStr.substr( lastEndPos ).split('<span').length-1;
+					}
+					
+					// there is no sub-span before
+					if( nbSubSpanBefore == 0 )
+					{
+						textNode	= parentSpan.firstChild;
+					}
+					// we need to find where is the text node modified
+					else
+					{
+						// take the last direct child (no sub-child)
+						lastSubSpan	= parentSpan.getElementsByTagName('span')[ nbSubSpanBefore - 1 ];
+						while( lastSubSpan.parentNode != parentSpan )
+						{
+							lastSubSpan	= lastSubSpan.parentNode;
+						}
+
+						// associate to next text node following the last sub span
+						if( lastSubSpan.nextSibling == null || lastSubSpan.nextSibling.nodeType != 3 )
+						{
+							textNode	= document.createTextNode('');
+							lastSubSpan.parentNode.insertBefore( textNode, lastSubSpan.nextSibling );
+						}
+						else
+						{
+							textNode	= lastSubSpan.nextSibling;
+						}
+					}
+					//--------]
+					
+					
+					//--------[
+					// update the textNode content
+					
+					// number of caracters after the last opened of closed span
+					//nbUnchangedChars = ( lastIndex = beginStr.lastIndexOf( '>' ) ) == -1 ? beginStr.length : beginStr.length - ( lastIndex + 1 );
+					//nbUnchangedChars =  ? beginStr.length : beginStr.substr( lastIndex + 1 ).replace( /&lt;/g, '<').replace( /&gt;/g, '>').replace( /&amp;/g, '&').length;
+					
+					if( ( lastIndex = beginStr.lastIndexOf( '>' ) ) == -1 )
+					{
+						nbUnchangedChars	= beginStr.length;
+					}
+					else
+					{
+						nbUnchangedChars	= beginStr.substr( lastIndex + 1 ).replace( /&lt;/g, '<').replace( /&gt;/g, '>').replace( /&amp;/g, '&').length; 	
+						//nbUnchangedChars	+= beginStr.substr( ).replace( /&/g, '&amp;').replace( /</g, '&lt;').replace( />/g, '&gt;').length - beginStr.length;
+					}
+					//alert( nbUnchangedChars );
+					//	console.log( span, textNode, nbOpendedSpan,nbClosedSpan,  span.nextSibling, textNode.length, nbUnchangedChars, lastHtml, lastHtml.length, newHtml, newHtml.length );
+					//	alert( textNode.parentNode.className +'-'+ textNode.parentNode.tagName+"\n"+ textNode.data +"\n"+ nbUnchangedChars +"\n"+ lastHtml.length +"\n"+ newHtml +"\n"+ newHtml.length  );
+				//	console.log( nbUnchangedChars, lastIndex, beginStr.length, beginStr.replace(/&/g, '&amp;'), lastHtml.length, '|', newHtml.replace( /\t/g, 't').replace( /\n/g, 'n').replace( /\r/g, 'r'), lastHtml.replace( /\t/g, 't').replace( /\n/g, 'n').replace( /\r/, 'r') );
+				//	console.log( textNode.data.replace(/&/g, '&amp;') );
+					// IE only manage \r for cariage return in textNode and not \n or \r\n
+					if( t.isIE )
+					{
+						nbUnchangedChars	-= ( beginStr.substr( beginStr.length - nbUnchangedChars ).split("\n").length - 1 );
+						//alert( textNode.data.replace(/\r/g, '_r').replace(/\n/g, '_n')); 
+						textNode.replaceData( nbUnchangedChars, lastHtml.replace(/\n/g, '').length, newHtml.replace(/\n/g, '') );
+					}
+					else
+					{
+						textNode.replaceData( nbUnchangedChars, lastHtml.length, newHtml );
+					}
+					//--------]
+				}
+			}
+			// an exception shouldn't occured but if replaceData failed at least it won't break everything
+			catch( e )
+			{
+		//		throw e;
+			//	console.log( e );
+				doHtmlOpti	= false;
+			}
+			
+		}
+	
+		/*** END HTML update's optimisation ***/
+		// end test
+		
+	//			console.log(  (TPS6-TPS5), (TPS5-TPS4), (TPS4-TPS3), (TPS3-TPS2), (TPS2-TPS1), _CPT );
+		// get the new highlight content
+		tpsAfterOpti2		= new Date().getTime();
+		hightlighted_text	= stay_begin + updated_highlight + stay_end;
+		if( !doHtmlOpti )
+		{
+			// update the content of the highlight div by first updating a clone node (as there is no display in the same time for t node it's quite faster (5*))
+			var new_Obj= t.content_highlight.cloneNode(false);
+			if( ( t.isIE && t.isIE < 8 ) || ( t.isOpera && t.isOpera < 9.6 ) )
+				new_Obj.innerHTML= "<pre><span class='"+ t.settings["syntax"] +"'>" + hightlighted_text + "</span></pre>";	
+			else
+				new_Obj.innerHTML= "<span class='"+ t.settings["syntax"] +"'>"+ hightlighted_text +"</span>";
+	
+			t.content_highlight.parentNode.replaceChild(new_Obj, t.content_highlight);
+		
+			t.content_highlight= new_Obj;
+		}
+		
+		t.last_text_to_highlight= infos["full_text"];
+		t.last_hightlighted_text= hightlighted_text;
+		
+		tps3=new Date().getTime();
+	
+		if(t.settings["debug"]){
+			//lineNumber=tab_text.length;
+			//t.debug.value+=" \nNB char: "+_$("src").value.length+" Nb line: "+ lineNumber;
+		
+			t.debug.value= "Tps optimisation "+(tps_end_opti-tps_start)
+				+" | tps reg exp: "+ (tpsAfterReg-tps_end_opti)
+				+" | tps opti HTML : "+ (tpsAfterOpti2-tpsAfterReg) + ' '+ ( doHtmlOpti ? 'yes' : 'no' )
+				+" | tps update highlight content: "+ (tps3-tpsAfterOpti2)
+				+" | tpsTotal: "+ (tps3-tps_start)
+				+ "("+tps3+")\n"+ debug_opti;
+		//	t.debug.value+= "highlight\n"+hightlighted_text;*/
+		}
+		
+	};
+	
+	EditArea.prototype.resync_highlight= function(reload_now){
+		this.reload_highlight=true;
+		this.last_text_to_highlight="";
+		this.focus();		
+		if(reload_now)
+			this.check_line_selection(false); 
+	};