Where do I find where disp_prefs_height_body is initially set. Doing a search over the entire source code only shows 2 entries in archtype_editor.html.

I want to be able to adjust the height of the entry editor.