From 7a81e638a3c3859d3abf999fd5aed8d6ba1e1fa5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?H=C3=A9ctor=20Ram=C3=B3n=20Jim=C3=A9nez?= Date: Sat, 3 May 2025 00:51:18 +0200 Subject: [PATCH] Remove unnecessary redraw request in `mouse_area` --- widget/src/mouse_area.rs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/widget/src/mouse_area.rs b/widget/src/mouse_area.rs index 6367698a..e17ccd97 100644 --- a/widget/src/mouse_area.rs +++ b/widget/src/mouse_area.rs @@ -345,10 +345,6 @@ fn update( state.cursor_position = cursor_position; state.bounds = bounds; - if widget.interaction.is_some() && state.is_hovered != was_hovered { - shell.request_redraw(); - } - match ( widget.on_enter.as_ref(), widget.on_move.as_ref(),