Emil Ernerfeldt

Results 813 comments of Emil Ernerfeldt

I know there is a `ui.columns` and this may seem natural, but have you tried out `egui_extras::StripBuilder`? It is a more powerful API, and I am considering deprecating `ui.columns` in...

* Blocked on https://github.com/rust-windowing/winit/issues/2431

Thanks for looking in to this, but I lack a few details: is this on web or native? What platform?

This adds A LOT of dependencies, which will greatly increase compile times for any user of `puffin_http`. What concrete benefits does this PR bring to justify that?

For some reason I can no longer push to this, so I continued the work in https://github.com/emilk/egui/pull/1914

Dropping it here for visibility: `egui_extras` uses a pretty simple API for heterogeneously sized rows: . It is still O(N) in the number of rows, but is very fast.

I agree that the verbosity of `ui.heading` + `ui.separator + `ui.code` etc is really bad, and I would prefer writing Markdown. There are some issues that needs to be resolved...

I don't understand GitHub. I pushed one commit, and it shows up here. I push another, and it doesn't show up. ```diff diff --git a/eframe/src/web/backend.rs b/eframe/src/web/backend.rs index 7849ea72..f231172a 100644 ---...

Can you please apply my diff first?