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
|
2024-01-27 15:51:16 +03:00
|
|
|
license = "GPL-3.0-or-later"
|
2024-01-23 19:40:30 +03:00
|
|
|
|
2022-04-15 02:21:22 +03:00
|
|
|
[lib]
|
|
|
|
|
path = "src/picker.rs"
|
|
|
|
|
doctest = false
|
|
|
|
|
|
|
|
|
|
[dependencies]
|
2024-01-03 21:58:57 +03:00
|
|
|
editor = { path = "../editor" }
|
2024-01-03 23:33:51 +03:00
|
|
|
ui = { path = "../ui" }
|
2024-01-03 23:59:39 +03:00
|
|
|
gpui = { path = "../gpui" }
|
2024-01-03 23:28:45 +03:00
|
|
|
menu = { path = "../menu" }
|
|
|
|
|
settings = { path = "../settings" }
|
2022-04-15 02:21:22 +03:00
|
|
|
util = { path = "../util" }
|
2024-01-03 23:41:01 +03:00
|
|
|
theme = { path = "../theme" }
|
2024-01-03 22:08:51 +03:00
|
|
|
workspace = { path = "../workspace"}
|
2022-04-15 02:21:22 +03:00
|
|
|
|
2023-04-25 03:41:55 +03:00
|
|
|
parking_lot.workspace = true
|
2022-11-04 12:18:29 +03:00
|
|
|
|
2022-04-15 02:21:22 +03:00
|
|
|
[dev-dependencies]
|
2024-01-03 21:58:57 +03:00
|
|
|
editor = { path = "../editor", features = ["test-support"] }
|
2024-01-03 23:59:39 +03:00
|
|
|
gpui = { path = "../gpui", features = ["test-support"] }
|
2023-04-25 03:41:55 +03:00
|
|
|
serde_json.workspace = true
|
|
|
|
|
ctor.workspace = true
|
|
|
|
|
env_logger.workspace = true
|
