Some widgets keep expanding due to non-integral pixels_per_point about egui HOT 3 CLOSED

Then it is probably a bug for me to fix in Egui. I'll try to get to it some time this week (or more likely: weekend)

from egui.

I've had those bugs before, but fixed them, so weird seeing them pop up again! Interestingly, when I run your code it all works as expected.

What is the pixels_per_point (window.scale_factor()) on your system when you run your example? Maybe Egui has a rounding error for when pixels_per_point is non-integral.

Does demo_glium work as expected? How about https://emilk.github.io/egui/ ?

from egui.

I run my desktop in 4k with 150% scale. So pixels_per_point is 1.5.

I can reproduce the same error with the glium backend, but it only triggers when I move the mouse, since the application doesn't run unlimited (ControlFlow::Poll) and waits for events (ControlFlow::Wait).

from egui.