Skip to content

Update to egui 0.34 + small UI tweaks - #109

Merged
MichaelGrupp merged 13 commits into
masterfrom
egui-0.34
Apr 14, 2026
Merged

MichaelGrupp merged 13 commits into
masterfrom
egui-0.34

Conversation

@MichaelGrupp

Copy link
Copy Markdown
Owner

No description provided.

@MichaelGrupp MichaelGrupp self-assigned this Mar 30, 2026
@MichaelGrupp MichaelGrupp mentioned this pull request Mar 30, 2026
@MichaelGrupp
MichaelGrupp marked this pull request as draft March 30, 2026 08:08

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TODO: fix emilk/egui#7630

@MichaelGrupp
MichaelGrupp marked this pull request as ready for review April 14, 2026 17:08
@MichaelGrupp
MichaelGrupp merged commit 6e14049 into master Apr 14, 2026
4 checks passed
@MichaelGrupp
MichaelGrupp deleted the egui-0.34 branch June 28, 2026 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant