Merge branch 'main' into picker

2023-11-07 11:27:14 -08:00
parent 6928ad1335 4bf3a4e3d4
commit d690fb038d
38 changed files with 1117 additions and 585 deletions
@@ -3529,6 +3529,23 @@ dependencies = [
 "workspace",
 ]

+[[package]]
+name = "go_to_line2"
+version = "0.1.0"
+dependencies = [
+ "editor2",
+ "gpui2",
+ "menu2",
+ "postage",
+ "serde",
+ "settings2",
+ "text2",
+ "theme2",
+ "ui2",
+ "util",
+ "workspace2",
+]
+
 [[package]]
 name = "gpui"
 version = "0.1.0"
@@ -11244,6 +11261,7 @@ dependencies = [
 "fsevent",
 "futures 0.3.28",
 "fuzzy",
+ "go_to_line2",
 "gpui2",
 "ignore",
 "image",