-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Rework Window margins and set clip_rect_margin to zero
#7725
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
base: main
Are you sure you want to change the base?
Conversation
|
Preview available at https://egui-pr-preview.github.io/pr/7725-emilkno-clip-rect-margin View snapshot changes at kitdiff |
3e634f4 to
d17aa52
Compare
|
Oops - the windows headers shrunk… a lot. Good with screenshot tests 😅 |
|
Oh no… I need to do the resize-corner interaction on top of the scroll area, or they will fight with each-other |
d17aa52 to
9205500
Compare
|
I also need to tweak |
4ba0fdf to
60a01c0
Compare
60a01c0 to
7477492
Compare
7477492 to
c9980b0
Compare
| /// Allow child widgets to be just on the border and still have a stroke with some thickness | ||
| /// Allow widgets to paint this much outside the scroll area rect. | ||
| /// | ||
| /// Legacy. Should not be used anymore. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Probably you should say, what to use instead
ScrollArea::content_margin#7722clip_rect_margin#5605What
Sets
clip_rect_marginto zero, and moves the margin ofWindows withScrollAreas, so that the scroll bars are now on the very edge of the windows they are in.Required