Merge branch 'zed2' of github.com:zed-industries/zed into zed2-workspace

2023-10-31 11:39:34 -04:00 · 2023-10-31 11:39:34 -04:00 · 551171a339
commit 551171a339
parent 68a1c7ce4c 0aa9c6b61d
13 changed files with 277 additions and 159 deletions
--- a/crates/workspace2/src/dock.rs
+++ b/crates/workspace2/src/dock.rs
@ -114,7 +114,7 @@ where
    }

    fn to_any(&self) -> AnyView {
-        self.clone().into_any()
+        self.clone().into()
    }
 }