Always stop propagation in div's scroll wheel listener (#9282)

Fixes #9274

This fixes a bug that was preventing the editor hover popovers from
being scrolled with the trackpad.

Release Notes:

- N/A
This commit is contained in:
Antonio Scandurra 2024-03-13 15:48:22 +01:00 committed by GitHub
parent 109482761b
commit fc9f84446a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1949,9 +1949,9 @@ impl Interactivity {
scroll_offset.y += delta_y;
}
cx.stop_propagation();
if *scroll_offset != old_scroll_offset {
cx.refresh();
cx.stop_propagation();
}
}
});