Skip to content
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.

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

Introduce egui window resizability #162

Merged
merged 1 commit into from
Feb 23, 2025
Merged

Conversation

tk70
Copy link
Contributor

@tk70 tk70 commented Jul 14, 2024

No description provided.

@tk70 tk70 force-pushed the master branch 2 times, most recently from 5c1687b to d79e3d2 Compare July 15, 2024 09:53

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
@robbert-vdh robbert-vdh merged commit 91a0ff7 into robbert-vdh:master Feb 23, 2025
@robbert-vdh
Copy link
Owner

Thanks for the work, and sorry for not merging this sooner! I completely missed this PR.

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.

2 participants