ssh: Remove server count from modal header (#19329)

The server count was something that existed since the remote development
implementation and we just kept it there without a lot of critical
thinking. However, it doesn't feel like it's particularly useful yet,
which means that, at least for now, we could clean it up more and wait
for further feedback to add it back, if ever requested.

Release Notes:

- N/A
This commit is contained in:
Danilo Leal 2024-10-17 03:25:15 +02:00 committed by GitHub
parent 9a3d8733ce
commit a41e973782
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1151,17 +1151,10 @@ impl DevServerProjects {
)
.into_any_element();
let server_count = format!("Servers: {}", ssh_connections.len());
Modal::new("remote-projects", Some(self.scroll_handle.clone()))
.header(
ModalHeader::new().child(
h_flex()
.items_center()
.justify_between()
.child(Headline::new("Remote Projects (alpha)").size(HeadlineSize::XSmall))
.child(Label::new(server_count).size(LabelSize::Small)),
),
ModalHeader::new()
.child(Headline::new("Remote Projects (alpha)").size(HeadlineSize::XSmall)),
)
.section(
Section::new().padded(false).child(