1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 06:10:06 -04:00

Round misc things

This commit is contained in:
Emil Ernerfeldt
2024-09-30 16:48:07 +02:00
parent 1a45dd5342
commit 609de0fb58
6 changed files with 14 additions and 10 deletions

View File

@@ -123,7 +123,7 @@ impl<'l> StripLayout<'l> {
// Make sure we don't have a gap in the stripe/frame/selection background:
let item_spacing = self.ui.spacing().item_spacing;
let gapless_rect = max_rect.expand2(0.5 * item_spacing);
let gapless_rect = max_rect.expand2(0.5 * item_spacing).round();
if flags.striped {
self.ui.painter().rect_filled(