Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rename is_local to is_local_or_ssh (#16717)

Browse source 
Release Notes:

- N/A
This commit is contained in:
Conrad Irwin 2024-08-22 21:32:51 -06:00 • committed by GitHub
parent 46ecd7d190
commit 0fd5030297
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
18 changed files with 84 additions and 85 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/terminal_view/src/terminal_panel.rs
View file

@ -142,7 +142,7 @@ impl TerminalPanel {
cx.subscribe(&pane, Self::handle_pane_event),
];
let project = workspace.project().read(cx);
let enabled = project.is_local() || project.supports_remote_terminal(cx);
let enabled = project.is_local_or_ssh() || project.supports_remote_terminal(cx);
let this = Self {
pane,
fs: workspace.app_state().fs.clone(),