egui: Simplify code using Painter::round_rect_to_pixels

emilk · Feb 19, 2024 · e9eb973 · e9eb973
1 parent 45f8a17
commit e9eb973
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/crates/egui/src/containers/window.rs b/crates/egui/src/containers/window.rs
@@ -532,12 +532,7 @@ impl<'open> Window<'open> {
                     },
                 );
 
-                title_rect.min = area_content_ui
-                    .painter()
-                    .round_pos_to_pixels(title_rect.min);
-                title_rect.max = area_content_ui
-                    .painter()
-                    .round_pos_to_pixels(title_rect.max);
+                title_rect = area_content_ui.painter().round_rect_to_pixels(title_rect);
 
                 if on_top && area_content_ui.visuals().window_highlight_topmost {
                     let mut round = window_frame.rounding;