migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-08-29 04:40:03 -04:00
Code Activity

Remove clip_rect_margin (#8366)

Browse Source 
* Closes https://github.com/emilk/egui/issues/5605
 
It has been zero by default for a few months now, and I do not wish to
support it. It was always an ugly hack, and it is no longer needed.
This commit is contained in:
Emil Ernerfeldt
2026-07-31 14:21:17 -07:00
committed by GitHub
parent 36341c21fe
commit b06f5fea09
6 changed files with 12 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
crates/egui_extras/src/layout.rs
View File

@@ -217,10 +217,7 @@ impl<'l> StripLayout<'l> {
let mut child_ui = self.ui.new_child(ui_builder);
if flags.clip {
let margin = egui::Vec2::splat(self.ui.visuals().clip_rect_margin);
let margin = margin.min(0.5 * self.ui.spacing().item_spacing);
let clip_rect = max_rect.expand2(margin);
child_ui.shrink_clip_rect(clip_rect);
child_ui.shrink_clip_rect(max_rect);
if !child_ui.is_sizing_pass() {
// Better to truncate (if we can), rather than hard clipping: