Show dev server in the titlebar for remote projects (#11276)
Co-Authored-By: Mikayla <mikayla@zed.dev> Release Notes: - Show server name in the titlebar for remote projects Co-authored-by: Mikayla <mikayla@zed.dev>
This commit is contained in:
parent
74f8ef0364
commit
eb0f1e71f7
6 changed files with 53 additions and 5 deletions
|
@ -114,6 +114,11 @@ impl Store {
|
|||
self.remote_projects.get(&id)
|
||||
}
|
||||
|
||||
pub fn dev_server_for_project(&self, id: RemoteProjectId) -> Option<&DevServer> {
|
||||
self.remote_project(id)
|
||||
.and_then(|project| self.dev_server(project.dev_server_id))
|
||||
}
|
||||
|
||||
async fn handle_remote_projects_update(
|
||||
this: Model<Self>,
|
||||
envelope: TypedEnvelope<proto::RemoteProjectsUpdate>,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue