Alright. Was just curious if there was anything I could do to address this on my end. I'll leave the JavaScript fix in place.

 

Essentially, I have to reset the cursor, manually set the width of the class/font/size/style dropdown boxes, and then set the height of the editor table and editor iframe ...

 

Minor annoyance, but it works fine otherwise.