Emil Ernerfeldt

Results 813 comments of 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?

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