[JENKINS-25455] Avoid zero height of CodeMirror textarea

https://issues.jenkins-ci.org/browse/JENKINS-25455
Of course your patch should delete the now-obsolete comment, too.