Skip to content

Conversation

@emilk
Copy link
Owner

@emilk emilk commented Dec 22, 2025

The code doesn't seem to longer be needed. Interacting with a resize splitter isn't very difficult, and I never liked that special case.

@emilk emilk added the egui label Dec 22, 2025
@github-actions
Copy link

github-actions bot commented Dec 22, 2025

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

View snapshot changes at kitdiff

@emilk emilk merged commit e0e372a into main Dec 22, 2025
48 checks passed
@emilk emilk deleted the emilk/tweak-resize-interaction branch December 22, 2025 20:45
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.

2 participants