2022-04-14 23:21:22 +00:00
|
|
|
[package]
|
|
|
|
|
name = "picker"
|
|
|
|
|
version = "0.1.0"
|
|
|
|
|
edition = "2021"
|
|
|
|
|
|
|
|
|
|
[lib]
|
|
|
|
|
path = "src/picker.rs"
|
|
|
|
|
doctest = false
|
|
|
|
|
|
|
|
|
|
[dependencies]
|
|
|
|
|
editor = { path = "../editor" }
|
|
|
|
|
gpui = { path = "../gpui" }
|
2022-05-26 14:36:30 +00:00
|
|
|
menu = { path = "../menu" }
|
2022-04-14 23:21:22 +00:00
|
|
|
settings = { path = "../settings" }
|
|
|
|
|
util = { path = "../util" }
|
|
|
|
|
theme = { path = "../theme" }
|
|
|
|
|
workspace = { path = "../workspace" }
|
|
|
|
|
|
|
|
|
|
[dev-dependencies]
|
|
|
|
|
gpui = { path = "../gpui", features = ["test-support"] }
|
2022-05-26 07:34:39 +00:00
|
|
|
serde_json = { version = "1.0", features = ["preserve_order"] }
|
2022-04-14 23:21:22 +00:00
|
|
|
workspace = { path = "../workspace", features = ["test-support"] }
|
|
|
|
|
ctor = "0.1"
|
2022-06-03 00:24:57 +00:00
|
|
|
env_logger = "0.9"
|
