Merge branch 'main' into window_context_2

2023-04-21 10:58:08 +02:00
parent d32a7218cd 8e4cc549dc
commit c76b9794e4
45 changed files with 1760 additions and 882 deletions
@@ -13,4 +13,4 @@ gpui = { path = "../gpui" }
 menu = { path = "../menu" }
 settings = { path = "../settings" }
 theme = { path = "../theme" }
-smallvec = "1.6"
+smallvec = { workspace = true }