function ResizePageEditor(delta)
{
  obj = document.getElementById('editor');
  obj.rows += delta;
}