Merge branch 'main' into drag-and-drop

2022-08-22 17:18:29 -07:00 · 2022-08-22 17:18:29 -07:00 · 13e9336049
commit 13e9336049
parent e44536344a d50c819c44
65 changed files with 2371 additions and 797 deletions
--- a/crates/gpui/src/elements/list.rs
+++ b/crates/gpui/src/elements/list.rs
@ -316,6 +316,7 @@ impl Element for List {
            position,
            delta,
            precise,
+            ..
        }) = event
        {
            if bounds.contains_point(*position)