New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update to egui_dock 0.4 #1178

Merged

Wumpf merged 1 commit into main from emilk/update-egui_dock

Feb 10, 2023

Member

emilk commented Feb 10, 2023

Part of #813

Checklist

I have read and agree to Contributor Guide and the Code of Conduct
I've included a screenshot or gif (if applicable)
I've added a line to CHANGELOG.md (if this is a big enough change to warrant it)


          Update to egui_dock 0.4

5aaeab5

Wumpf approved these changes

View reviewed changes

Wumpf merged commit 07af54e into main

Wumpf deleted the emilk/update-egui_dock branch

February 10, 2023 15:57

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet