Emil Ernerfeldt 787c467d30 Prevent widgets sometimes appearing to move relative to each other (#7710) ... Sometimes when moving a window, having a tooltip attached to the mouse pointer, or scrolling a `ScrollArea`, you would see this disturbing effect:  This is caused by us rounding many visual elements (lines, rectangles, text, …) to physical pixels in order to keep them sharp. If the window/tooltip itself is not rounded to a physical pixel, then you can get this behavior. So from now on the position of all areas/windows/tooltips/popups/ScrollArea gets rounded to the closes pixel. * Unlocked by https://github.com/emilk/egui/pull/7709		2025-11-13 11:53:51 +01:00
..
snapshots	Prevent widgets sometimes appearing to move relative to each other (#7710)	2025-11-13 11:53:51 +01:00
test_demo_app.rs	Remove the `deadlock_detection` feature (#7497)	2025-09-04 12:57:09 +02:00