// requires jquery,cursorManager

// not used currently, not working either, check!!
$(document).ready(
	function(){
		$('.richCodeEditor').keyup(
			function(e){
				
				return; // currently disabled. to enable, delete this line;
				
				var keyCode = e.keyCode ? e.keyCode : e.which;
				if(keyCode==13){
					var line = lineBeforeCursor(this);			
					//             pr   {}         if    for    while  \s   ;
					if(line.match(/(^#|[{}]\s*$|\s*if|\s*for|\s*while|^\s*$|;\s*$)/)) return;
					//             \w   )  ++  --  
					if(line.match(/(\w|\)|\+\+|--)\s*$/)){
						insertBeforeCursor(';',this);
					}
				}
			}
		);
	}
);