mirror of
https://github.com/zed-industries/zed.git
synced 2026-07-31 18:49:51 +00:00
In #52636 I seem to have introduced this bug, where mouse-down on a
sticky header followed by an immediate mouse movements sometimes dropped
the pending autoscroll request (to jump to the sticky header line):
|
||
|---|---|---|
| .. | ||
| header.rs | ||
| mouse.rs | ||