title: User-resizable Codemirror instance
body: <p>does anybody know if it's possible to manually resize a Codemirror textbox? What I mean is for example Firefox has this feature that you can manually drag a textarea item - but via Codemirror this doesn't work.</p>
  
  <p>No cross-compatible browser support is needed, if we can find something only for Firefox, that's fine.</p>
  
  <p>Thanks!</p>