Make editor div full-height

It fills the screen this way, which avoids constant flickering when the
size of the div element changes to due its varying content.