Теперь можно произвольно менять высоту редактора, потянув мышкой за полоску под ним. Последняя выбранная высота запомнится в браузере и будет автоматически установлена при следующем использовании редактора.