lepture editor 是以 CodeMirror 为基础二次开发的，CodeMirror 并没有专门选项去配置高度，都是通过 CSS 进行设置的：

 .CodeMirror { height: 200px }

比如说 CodeMirror 自己给的 User Manual 中也是通过用 CSS 来改变高度的： http://codemirror.net/demo/resize.html

当然它有自带一个 .setSize() 函数可以通过 JS 修改大小，效果也是一样的就是了： http://codemirror.net/doc/manual.html#setSize