adobe/brackets — pull request #4962 by jasonsanjose (2013-08-27 17:51:20+00:00)
Title: Use CodeMirror setSize() instead of $.height() for editor resize

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