It is the following line in lib/scripts/editor.js which defines the height:
$textarea.css('height', DokuCookie.getValue('sizeCtl') || '300px');
Instead of changing it directly in the file, try this:
conf/userscript.js
jQuery(function() {
jQuery('#wiki__text').height('100px');
});