mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-08 07:35:01 +03:00
ed5bfcdddc
tab switcher retrieves active pane from workspace, but that function is not aware of Terminal Panel's pane. Thus in this PR we retrieve it manually and use it as the active pane if terminal panel has focus. Release Notes: - Fixed tab switcher not working in terminal panel.
34 lines
809 B
TOML
34 lines
809 B
TOML
[package]
|
|
name = "tab_switcher"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
publish = false
|
|
license = "GPL-3.0-or-later"
|
|
|
|
[lib]
|
|
path = "src/tab_switcher.rs"
|
|
doctest = false
|
|
|
|
[dependencies]
|
|
collections.workspace = true
|
|
gpui.workspace = true
|
|
menu.workspace = true
|
|
picker.workspace = true
|
|
serde.workspace = true
|
|
terminal_view.workspace = true
|
|
ui.workspace = true
|
|
util.workspace = true
|
|
workspace.workspace = true
|
|
|
|
[dev-dependencies]
|
|
anyhow.workspace = true
|
|
ctor.workspace = true
|
|
editor.workspace = true
|
|
env_logger.workspace = true
|
|
gpui = { workspace = true, features = ["test-support"] }
|
|
language = { workspace = true, features = ["test-support"] }
|
|
project.workspace = true
|
|
serde_json.workspace = true
|
|
theme = { workspace = true, features = ["test-support"] }
|
|
workspace = { workspace = true, features = ["test-support"] }
|