Use CodeMirror setSize() instead of $.height() for editor resize

Workaround for #4564. Do not merge for sprint 30.