[JENKINS-25455] Avoid zero height of CodeMirror textarea

https://issues.jenkins-ci.org/browse/JENKINS-25455