Do you have a zero width HTMLEditor on IE7 only?

Don’t waste hours like I did trying to figure it out.

Pass in a ‘width’ argument to the HTMLEditor constructor. That did it for me.

Using ExtJS 3.2.1.