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

Tweak window resize handles #5524

Merged
merged 3 commits into from
Dec 27, 2024
Merged

Tweak window resize handles #5524

merged 3 commits into from
Dec 27, 2024

Conversation

emilk
Copy link
Owner

@emilk emilk commented Dec 27, 2024

This makes it easier to hit the corners.
Previously the corner response-area was covered by the response-areas of the edges.

This makes it easier to hit the corners.
Previously the corner response-area was covered by the response-areas
of the edges.
@emilk emilk added the egui label Dec 27, 2024
Copy link

Preview available at https://egui-pr-preview.github.io/pr/5524-emilktweak-window-resize-handles
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

@emilk emilk marked this pull request as draft December 27, 2024 14:07
@emilk emilk marked this pull request as ready for review December 27, 2024 14:20
@emilk emilk merged commit c37125f into master Dec 27, 2024
46 checks passed
@emilk emilk deleted the emilk/tweak-window-resize-handles branch December 27, 2024 14:50
@emilk emilk restored the emilk/tweak-window-resize-handles branch December 28, 2024 15:57
@emilk emilk deleted the emilk/tweak-window-resize-handles branch December 28, 2024 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant