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 authored and GitHub committed 2024-10-16 22:25:15 -03:00
1 parent 53fb1cad35
commit 5d4ecec0de
1 file changed
+2 -9
+2 -9
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(