Long lines sometimes wrap incorrectly

[greboid]

Overlap with the timestamp.


Doesn't seem to be all lines, but fairly reproducible.

[csmith]

I think it happens with all lines that are too long by a very small amount.

Like something's calculating the width wrong by a few pixels in one place and not another.

Seems like it's probably an upstream bug rather than an us-bug.

[csmith]

Happens without a scrollbar as well, which was my only theory.

[csmith]

FXMisc/RichTextFX#810