Make the default height of the editor a little larger