mirror of
https://github.com/emilk/egui.git
synced 2026-09-02 14:50:03 -04:00
9a073d9399
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
4 lines
130 B
Plaintext
4 lines
130 B
Plaintext
version https://git-lfs.github.com/spec/v1
|
|
oid sha256:bb3f7b5f790830b46d1410c2bbb5e19c6beb403f8fe979eb8d250fba4f89be3e
|
|
size 51670
|