From ee440cf3005f6604527d9c2292ae50704fd7f013 Mon Sep 17 00:00:00 2001
From: Julia <floc@unpromptedtirade.com>
Date: Wed, 26 Oct 2022 12:06:32 -0400
Subject: [PATCH] Propagate mouse move event through dragged-item-receiver if
 not dragging

---
 crates/workspace/src/pane/dragged_item_receiver.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/crates/workspace/src/pane/dragged_item_receiver.rs b/crates/workspace/src/pane/dragged_item_receiver.rs
index 6b69b94094da508d09fb87db89a05076e7703639..38613a0376973d5828ff4aec2a76e91706173966 100644
--- a/crates/workspace/src/pane/dragged_item_receiver.rs
+++ b/crates/workspace/src/pane/dragged_item_receiver.rs
@@ -76,6 +76,8 @@ where
             .is_some()
         {
             cx.notify();
+        } else {
+            cx.propagate_event();
         }
     })
 }