[bug report] a bug in TextEditor

In TextEditor, suppose we’ve two lines with different fonts, then if we move the cursor to the end, TextEditor draws the caret a little shorter.
This is the picture:
http://picasaweb.google.com/zhuwenjiajia/TextEditor/photo#5143122212631427522

Thanks - I’ll take a look at that asap.