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 authored and GitHub committed 2024-03-13 15:48:22 +01:00
1 parent 4343f7ca06
commit 381f170f5e
1 file changed
+1 -1
+1 -1
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();
}
}
});