From bfdf3f672b67176e7efc4f895f073ba2551e549a Mon Sep 17 00:00:00 2001 From: Emil Ernerfeldt Date: Fri, 15 Sep 2023 10:37:56 +0200 Subject: [PATCH] comment --- crates/egui/src/widgets/spinner.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/egui/src/widgets/spinner.rs b/crates/egui/src/widgets/spinner.rs index e962810f8e3..b6fb928de3a 100644 --- a/crates/egui/src/widgets/spinner.rs +++ b/crates/egui/src/widgets/spinner.rs @@ -35,7 +35,7 @@ impl Spinner { /// Paint the spinner in the given rectangle. pub fn paint_at(&self, ui: &Ui, rect: Rect) { if ui.is_rect_visible(rect) { - ui.ctx().request_repaint(); + ui.ctx().request_repaint(); // because it is animated let color = self .color