me/iced
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #2845 from edwloef/mouse-area-request-redraw

Browse source 
request redraw on mouse area hover change
This commit is contained in:
Héctor 2025-03-16 17:48:41 +01:00 • committed by GitHub
commit 68b992962c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
widget/src/mouse_area.rs
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(),