Emil Ernerfeldt
Emil Ernerfeldt
There are three alternatives: * Round widgets to physical pixels * Round widgets to logical ui points * Only round when `pixels_per_point` is an integer * No rounding I'd like...
The problem there is the feathering (anti-aliasing) of the boxes. The easy fix there would be to always align boxes to the pixel grid, and turn of feathering for them....
I think the correct thing to do here is to align ui points to integers in order to avoid rounding errors in width calculations and similar (see e.g. https://github.com/emilk/egui/issues/5084). The...
Better solved by: * https://github.com/emilk/egui/issues/5163 * https://github.com/emilk/egui/issues/5164
As I said in https://github.com/emilk/egui/pull/4770 and https://github.com/emilk/egui/pull/4658: We need a proper test for this, otherwise we will just go around in circles. `ScrollArea` is getting way to complex. The test...
We've updated winit now: * https://github.com/emilk/egui/pull/4849 Maybe it's time to revisit this PR?
PTAL @Wumpf
Probably related: * https://github.com/emilk/eframe_template/pull/210
@varphone you may wanna test this to see I didn't break your custom window frames
Please check if this is already solved by * https://github.com/emilk/ehttp/pull/58