[JENKINS-25455] Avoid zero height of CodeMirror textarea