Editor needs resize ability

Editor needs resize ability

The reply html editor needs ability to resize.
I.e. Need ability to pick up the lower right corner of the editor and drag it around to resize
like this one   http://en.support.wordpress.com/editors/