From 836507eca0cbd12a186a2d39bde6988db1b2b299 Mon Sep 17 00:00:00 2001
From: edwloef <edwin.frank.loeffler@gmail.com>
Date: Sun, 16 Mar 2025 17:18:59 +0100
Subject: [PATCH] request redraw on mouse area hover change

---
 widget/src/mouse_area.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/widget/src/mouse_area.rs b/widget/src/mouse_area.rs
index 10976c76..2ea0b059 100644
--- a/widget/src/mouse_area.rs
+++ b/widget/src/mouse_area.rs
@@ -343,6 +343,10 @@ fn update<Message: Clone, Theme, Renderer>(
         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(),