What is the correct method to change the height of the editor using javascript at run-time. I am trying to change the height as the browser is resized to fill all but the header, but haven't been able to.

 

If I set the editor.style.height nothing happens.

 

Here is roughly what I want.

Browser is made bigger, editor fills the space.