request redraw on mouse area hover change

This commit is contained in:
edwloef 2025-03-16 17:18:59 +01:00
parent fd5ed0d0a6
commit 836507eca0
No known key found for this signature in database

View file

@ -343,6 +343,10 @@ fn update<Message: Clone, Theme, Renderer>(
state.cursor_position = cursor_position; state.cursor_position = cursor_position;
state.bounds = bounds; state.bounds = bounds;
if widget.interaction.is_some() && state.is_hovered != was_hovered {
shell.request_redraw();
}
match ( match (
widget.on_enter.as_ref(), widget.on_enter.as_ref(),
widget.on_move.as_ref(), widget.on_move.as_ref(),