2021-10-05 12:30:56 +00:00
|
|
|
[package]
|
|
|
|
name = "file_finder"
|
|
|
|
version = "0.1.0"
|
2022-01-26 20:50:31 +00:00
|
|
|
edition = "2021"
|
2023-01-18 20:28:02 +00:00
|
|
|
publish = false
|
2021-10-05 12:30:56 +00:00
|
|
|
|
2021-11-30 19:46:39 +00:00
|
|
|
[lib]
|
|
|
|
path = "src/file_finder.rs"
|
2022-03-04 00:15:56 +00:00
|
|
|
doctest = false
|
2021-11-30 19:46:39 +00:00
|
|
|
|
2021-10-05 12:30:56 +00:00
|
|
|
[dependencies]
|
2024-01-03 18:58:57 +00:00
|
|
|
editor = { path = "../editor" }
|
2023-09-27 22:23:17 +00:00
|
|
|
collections = { path = "../collections" }
|
2024-01-03 18:42:49 +00:00
|
|
|
fuzzy = { package = "fuzzy2", path = "../fuzzy2" }
|
|
|
|
gpui = { package = "gpui2", path = "../gpui2" }
|
|
|
|
menu = { package = "menu2", path = "../menu2" }
|
2024-01-03 18:55:34 +00:00
|
|
|
picker = { path = "../picker" }
|
2024-01-03 18:42:49 +00:00
|
|
|
project = { package = "project2", path = "../project2" }
|
|
|
|
settings = { package = "settings2", path = "../settings2" }
|
|
|
|
text = { package = "text2", path = "../text2" }
|
2021-10-05 12:30:56 +00:00
|
|
|
util = { path = "../util" }
|
2024-01-03 18:42:49 +00:00
|
|
|
theme = { package = "theme2", path = "../theme2" }
|
|
|
|
ui = { package = "ui2", path = "../ui2" }
|
2024-01-03 19:08:51 +00:00
|
|
|
workspace = { path = "../workspace" }
|
2023-04-25 00:41:55 +00:00
|
|
|
postage.workspace = true
|
2024-01-03 18:42:49 +00:00
|
|
|
serde.workspace = true
|
2021-10-05 12:30:56 +00:00
|
|
|
|
|
|
|
[dev-dependencies]
|
2024-01-03 18:58:57 +00:00
|
|
|
editor = { path = "../editor", features = ["test-support"] }
|
2024-01-03 18:42:49 +00:00
|
|
|
gpui = { package = "gpui2", path = "../gpui2", features = ["test-support"] }
|
|
|
|
language = { package = "language2", path = "../language2", features = ["test-support"] }
|
2024-01-03 19:08:51 +00:00
|
|
|
workspace = { path = "../workspace", features = ["test-support"] }
|
2024-01-03 18:42:49 +00:00
|
|
|
theme = { package = "theme2", path = "../theme2", features = ["test-support"] }
|
2023-05-11 21:40:35 +00:00
|
|
|
|
|
|
|
serde_json.workspace = true
|
2023-04-25 00:41:55 +00:00
|
|
|
ctor.workspace = true
|
|
|
|
env_logger.workspace = true
|