Get your own copy
Don't hesitate! Just download and test it all by yourself for free!
This option is used to define the height of the source editor dialog. This option is set to 400 by default.
tinyMCE.init({
...
theme_advanced_source_editor_height : 600
});
Search documentation.