Boxes around mapping sometimes get offset from the text

[PiTheGuy]

This usually happens when scrolling to the right a lot, but how far you have to scroll isn't consistent. It's also happened without scrolling before.

Reference image:

[NebelNidas]

What I've found so far:

• The issue is unrelated to Swing-DPI.
• Our HighlightPainters aren't at fault either, the DefaultHighlightPainter produces the same results.
• The incorrect positioning only occurs when OS-level fractional scaling is used, integer scaling (e.g. 100%, 200%) works fine.
• It's not caused by us still using the legacy Rectangle class instead of the new Rectangle2D.
• Therefore I conclude this must be either some sort of Swing or SyntaxPane issue.

[NebelNidas]

Some test results (font sizes measured from incl. 9 to incl. 33):

Monitor resolution	OS Scaling	Enigma Scaling	Working Editor Font Sizes
2560x1440	125%	100%	13, 20, 26/27, 33
		125%	10, 16, 21, 26, 32
		150%	18, 22, 31
		175%	15, 19, 23, 27, 30
		200%	10, 13, 20, 23, 30, 33
	150%	100%	10, 13, 20, 23, 30, 33
		125%	16, 24, 32
		150%	20, 22
		175%	17, 19, 23
		200%	10, 15, 20, 25, 30

If anyone notices any correlations between those numbers, please comment.

What's interesting is that the caret position is offset too (just like the markers). Here for example, the caret hasn't been moved at all, I only increased the zoom level (the first image is correct):