tinymce/tinymce — pull request #133 by thorn0 (2012-05-24 18:18:22+00:00)
Title: Added min_height setting, sometimes it's needed to have < 100px height

Just google "tinymce 100px" if you doubt there is such a need.