Skip to content

Commit

Permalink
initial repl server list view
Browse files Browse the repository at this point in the history
  • Loading branch information
rgbkrk committed Oct 22, 2024
1 parent 9661ca7 commit f79fe23
Showing 1 changed file with 12 additions and 3 deletions.
15 changes: 12 additions & 3 deletions crates/repl/src/jupyter_servers.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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")))
Expand All @@ -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| {
Expand Down

0 comments on commit f79fe23

Please sign in to comment.