function selectCode(clientID)
{$(clientID).focus();$(clientID).select();}
function getBaseHeight()
{var viewport=document.viewport.getDimensions();return(viewport.height-240);}
function resizeEditor()
{setSize(getBaseHeight());}