From f79fe235bb842b66a0ee101cdb806d2cc0eecc57 Mon Sep 17 00:00:00 2001 From: Kyle Kelley Date: Thu, 17 Oct 2024 12:09:31 -0700 Subject: [PATCH] initial repl server list view --- crates/repl/src/jupyter_servers.rs | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/crates/repl/src/jupyter_servers.rs b/crates/repl/src/jupyter_servers.rs index 0b1fb236075b92..647e1cb30c16e8 100644 --- a/crates/repl/src/jupyter_servers.rs +++ b/crates/repl/src/jupyter_servers.rs @@ -217,6 +217,7 @@ impl Render for JupyterServers { .elevation_3(cx) .key_context("JupyterServersModal") .on_mouse_down_out(cx.listener(|_, _, cx| cx.emit(DismissEvent))) + .w(rems(34.)) .child( Modal::new("jupyter-servers", Some(self.scroll_handle.clone())) .header(ModalHeader::new().child(Label::new("Jupyter Servers"))) @@ -240,9 +241,17 @@ impl Render for JupyterServers { .inset(true) .spacing(ui::ListItemSpacing::Sparse) .start_slot( - Icon::new(IconName::Server) - .color(Color::Muted) - .size(IconSize::Small), + h_flex() + .child( + Icon::new(IconName::ReplNeutral) + .color(Color::Muted) + .size(IconSize::Small), + ) + .child( + Icon::new(IconName::Server) + .color(Color::Muted) + .size(IconSize::Small), + ), ) .child(Label::new(name)) .on_click(cx.listener(move |this, _, cx| {