The text editor print margin displays incorrect for some zoom levels

[reto-hoehener]

It has been like this for a few releases (at least up to 2024-12):

[HeikoKlare]

If I understand this issue correctly, it is about the print margin being wrongly displayed when a monitor zoom other than 100% (or maybe 200%) is used. I can confirm that e.g., on 175% monitor zoom the displayed margin is off. And I can confirm, according to eclipse-platform/eclipse.platform.swt#2461, that this seems to be caused by the FontMetrics returning an integer-rounded value for the character width.