djkato/egui
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[scroll] remember to expand clip region with the clip_rect_margin

Browse source
This commit is contained in:
Emil Ernerfeldt 2020-06-03 11:00:14 +02:00
parent 2fa03f9a6c
commit de95209676
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
egui/src/containers/scroll_area.rs
View file

@ -96,7 +96,8 @@ impl ScrollArea {
inner_rect.min - state.offset, inner_rect.min - state.offset,
vec2(inner_size.x, f32::INFINITY), vec2(inner_size.x, f32::INFINITY),
)); ));
let mut content_clip_rect = ui.clip_rect().intersect(inner_rect); let mut content_clip_rect = inner_rect.expand(ui.style().clip_rect_margin);
content_clip_rect = content_clip_rect.intersect(ui.clip_rect());
content_clip_rect.max.x = ui.clip_rect().max.x - current_scroll_bar_width; // Nice handling of forced resizing beyond the possible content_clip_rect.max.x = ui.clip_rect().max.x - current_scroll_bar_width; // Nice handling of forced resizing beyond the possible
content_ui.set_clip_rect(content_clip_rect); content_ui.set_clip_rect(content_clip_rect);