OK, the height was a stupid question

editor1.style.height

 

.... but there seem to be other methods and properties not documented - so the question remains.