zed-industries
editor: Do not start scroll when hovering the scroll thumb during dragging events
Closes #30756 Closes #30729 Follow-up to #28064
The issue arose because GPUI does still propagate mouse events to all event handlers during dragging actions even if the dragging action does not belong to the current handler. I forgot about this in the other PR.
This resulted in an incorrect hover being registered for the thumb, which was sufficient to trigger scrolling in the next frame, since dragging_scrollbar_axis did not consider the actual thumb state (this was generally sufficient, but not with this incorrectly registered hover).
Theoretically, either of the both commits would suffice for fixing the issue. However, I think it is better to fix both issues at hand instead of just one. Now, we will only start the scroll on actual scrollbar clicks and not show a hover on the thumb if any other drag is currently going on.
https://github.com/user-attachments/assets/6634ffa0-78fc-428f-99b2-7bc23a320676
Release Notes:
- Fixed an issue where editor scrollbars would start scrolling when hovering over the thumb whilst already dragging something else.
