Make the editor's height even bigger