2022-04-15 02:21:22 +03:00
|
|
|
[package]
|
|
|
|
name = "picker"
|
|
|
|
version = "0.1.0"
|
|
|
|
edition = "2021"
|
2023-01-18 23:28:02 +03:00
|
|
|
publish = false
|
2022-04-15 02:21:22 +03:00
|
|
|
|
|
|
|
[lib]
|
|
|
|
path = "src/picker.rs"
|
|
|
|
doctest = false
|
|
|
|
|
|
|
|
[dependencies]
|
|
|
|
editor = { path = "../editor" }
|
|
|
|
gpui = { path = "../gpui" }
|
2022-05-26 17:36:30 +03:00
|
|
|
menu = { path = "../menu" }
|
2022-04-15 02:21:22 +03:00
|
|
|
settings = { path = "../settings" }
|
|
|
|
util = { path = "../util" }
|
|
|
|
theme = { path = "../theme" }
|
|
|
|
workspace = { path = "../workspace" }
|
|
|
|
|
2022-11-04 12:18:29 +03:00
|
|
|
parking_lot = "0.11.1"
|
|
|
|
|
2022-04-15 02:21:22 +03:00
|
|
|
[dev-dependencies]
|
|
|
|
gpui = { path = "../gpui", features = ["test-support"] }
|
2023-03-23 12:29:25 +03:00
|
|
|
serde_json = { workspace = true }
|
2022-04-15 02:21:22 +03:00
|
|
|
workspace = { path = "../workspace", features = ["test-support"] }
|
|
|
|
ctor = "0.1"
|
2022-06-03 03:24:57 +03:00
|
|
|
env_logger = "0.9"
|