Max BrunsfeldandMikayla e3bb5e5103 Fix failure to remove hovered region_ids on element removal ...

Co-authored-by: Mikayla <mikayla@zed.dev>

2023-08-08 17:39:05 -07:00

..

mouse_event.rs

fmt

2023-07-26 09:39:35 -07:00

mouse_region.rs

Fix failure to remove hovered region_ids on element removal

2023-08-08 17:39:05 -07:00