[JENKINS-25455] Avoid zero height of CodeMirror textarea

https://issues.jenkins-ci.org/browse/JENKINS-25455
Why both attributes? AFAIK only the first should be required.