/**
* Set Editor Height
*/
function SetEditHeight(val) {   
  myVar = new makeDom('text');	
  if (! myVar.id) return;
  myVar.size(-1, val);	
  myVar.evnt.focus();
  storeCaret(myVar.evnt);
}

/**
* Resize Editor Height by +- val
*/
function ResizeTextArea(val) {   
  myVar = new makeDom('text');	
  if (! myVar.id) return;
  myVar.sizeBy(-1, val);	
  myH = new makeDom('editor_height');	
  if (! myH.id) return;
  myH.evnt.value = myVar.h;
} 

/**
* Remember the current position. 
*/
function storeCaret(ta) 
{ 
  // Only bother if it will be useful. 
  if (typeof(ta.createTextRange) != 'undefined') {
    ta.caretPos = document.selection.createRange().duplicate(); 
  }
}