Basta abrir o console e inserir:
$('.ace_scroller').css('height','500px');
$('.ace_editor').css('height','500px');
Sinta-se à vontade para ajustar o 500px
para o que desejar.
Talvez um dia desses eu escreva uma extensão rápida para isso.
Conteúdo para você se capacitar em programação
Basta abrir o console e inserir:
$('.ace_scroller').css('height','500px');
$('.ace_editor').css('height','500px');
Sinta-se à vontade para ajustar o 500px
para o que desejar.
Talvez um dia desses eu escreva uma extensão rápida para isso.