From a9397834eb7e05e673f74857cc42d7c84524018f Mon Sep 17 00:00:00 2001 From: Marshall Bowers Date: Mon, 22 Jul 2024 17:05:05 -0400 Subject: [PATCH] quick_action_bar: Add menu entry to view REPL sessions (#14984) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This PR adds a new menu entry in the REPL item in the quick action bar to open up the REPL sessions view: Screenshot 2024-07-22 at 4 54 36 PM This makes this more discoverable than having to know that the command exists. Release Notes: - N/A --- crates/quick_action_bar/src/repl_menu.rs | 3 ++- crates/repl/src/repl.rs | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/crates/quick_action_bar/src/repl_menu.rs b/crates/quick_action_bar/src/repl_menu.rs index b3d2041a57..0c6b3d3091 100644 --- a/crates/quick_action_bar/src/repl_menu.rs +++ b/crates/quick_action_bar/src/repl_menu.rs @@ -192,7 +192,8 @@ impl QuickActionBar { } }, ) - // .separator() + .separator() + .action("View Sessions", Box::new(repl::Sessions)) // TODO: Add shut down all kernels action // .action("Shut Down all Kernels", Box::new(gpui::NoAction)) }) diff --git a/crates/repl/src/repl.rs b/crates/repl/src/repl.rs index 0210bd47f8..046397ffa2 100644 --- a/crates/repl/src/repl.rs +++ b/crates/repl/src/repl.rs @@ -16,7 +16,7 @@ mod stdio; pub use jupyter_settings::JupyterSettings; pub use kernels::{Kernel, KernelSpecification, KernelStatus}; pub use repl_editor::*; -pub use repl_sessions_ui::{ClearOutputs, Interrupt, ReplSessionsPage, Run, Shutdown}; +pub use repl_sessions_ui::{ClearOutputs, Interrupt, ReplSessionsPage, Run, Sessions, Shutdown}; pub use runtimelib::ExecutionState; pub use session::Session;