Propagate mouse move event through dragged-item-receiver if not dragging

Julia created 3 years ago

Change summary

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

Detailed changes

crates/workspace/src/pane/dragged_item_receiver.rs

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