zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-28 21:43:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1820 from zed-industries/allow-mouse-move-through-dragged-item-receiver

Browse Source 
Propagate mouse move event through dragged-item-receiver if not dragging
This commit is contained in:
Julia 2022-10-26 12:22:30 -04:00 committed by GitHub
commit 625a62626e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/workspace/src/pane/dragged_item_receiver.rs
View File

@ -76,6 +76,8 @@ where
.is_some()
{
cx.notify();
} else {
cx.propagate_event();
}
})
}