use CodeMirror setSize() instead of $.height() for editor resize. workaround #4564
Merge pull request #4962 from adobe/jasonsanjose/issue-4564

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