HTML edit textarea rows

Hi,
I’d like to increase the number of rows shown in the HTML mode of the post edit. By default it is only 10 rows. I know I can increase it by switching to Visual mode and using the pull down, but when I switch back to HTML, some of the formatting changes. So I need to know which file it is that I need to edit to change the number of rows permanently. ??