Skip to content

Update to egui 0.32#30

Merged
lucasmerlin merged 3 commits intomainfrom
emilk/update-egui
Jul 10, 2025
Merged

Update to egui 0.32#30
lucasmerlin merged 3 commits intomainfrom
emilk/update-egui

Conversation

@emilk
Copy link
Member

@emilk emilk commented Jul 9, 2025

No description provided.

@lucasmerlin lucasmerlin changed the title Update to latest egui Update to egui 0.32 Jul 10, 2025
@lucasmerlin lucasmerlin marked this pull request as ready for review July 10, 2025 15:37
@lucasmerlin lucasmerlin merged commit e3d1924 into main Jul 10, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments