
This is the start of a notebook UI for Zed. `🔔 Note: This won't be useable yet when it is merged! Read below. 🔔` This is going to be behind a feature flag so that we can merge this initial PR and then make follow up PRs. Release notes will be produced in a future PR. Minimum checklist for merging this: * [x] All functionality behind the `notebooks` feature flag (with env var opt out) * [x] Open notebook files in the workspace * [x] Remove the "Open Notebook" button from title bar * [x] Incorporate text style refinements for cell editors * [x] Rely on `nbformat` crate for parsing the notebook into our in-memory format * [x] Move notebook to a `gpui::List` * [x] Hook up output rendering Release Notes: - N/A --------- Co-authored-by: Nate Butler <iamnbutler@gmail.com> Co-authored-by: Thorsten Ball <mrnugget@gmail.com>
59 lines
1.8 KiB
Rust
59 lines
1.8 KiB
Rust
mod components;
|
|
mod jupyter_settings;
|
|
mod kernels;
|
|
pub mod notebook;
|
|
mod outputs;
|
|
mod repl_editor;
|
|
mod repl_sessions_ui;
|
|
mod repl_store;
|
|
mod session;
|
|
|
|
use std::{sync::Arc, time::Duration};
|
|
|
|
use async_dispatcher::{set_dispatcher, Dispatcher, Runnable};
|
|
use gpui::{AppContext, PlatformDispatcher};
|
|
use project::Fs;
|
|
pub use runtimelib::ExecutionState;
|
|
use settings::Settings as _;
|
|
|
|
pub use crate::jupyter_settings::JupyterSettings;
|
|
pub use crate::kernels::{Kernel, KernelSpecification, KernelStatus};
|
|
pub use crate::repl_editor::*;
|
|
pub use crate::repl_sessions_ui::{
|
|
ClearOutputs, Interrupt, ReplSessionsPage, Restart, Run, Sessions, Shutdown,
|
|
};
|
|
use crate::repl_store::ReplStore;
|
|
pub use crate::session::Session;
|
|
use client::telemetry::Telemetry;
|
|
|
|
pub fn init(fs: Arc<dyn Fs>, telemetry: Arc<Telemetry>, cx: &mut AppContext) {
|
|
set_dispatcher(zed_dispatcher(cx));
|
|
JupyterSettings::register(cx);
|
|
::editor::init_settings(cx);
|
|
repl_sessions_ui::init(cx);
|
|
ReplStore::init(fs, telemetry, cx);
|
|
}
|
|
|
|
fn zed_dispatcher(cx: &mut AppContext) -> impl Dispatcher {
|
|
struct ZedDispatcher {
|
|
dispatcher: Arc<dyn PlatformDispatcher>,
|
|
}
|
|
|
|
// PlatformDispatcher is _super_ close to the same interface we put in
|
|
// async-dispatcher, except for the task label in dispatch. Later we should
|
|
// just make that consistent so we have this dispatcher ready to go for
|
|
// other crates in Zed.
|
|
impl Dispatcher for ZedDispatcher {
|
|
fn dispatch(&self, runnable: Runnable) {
|
|
self.dispatcher.dispatch(runnable, None)
|
|
}
|
|
|
|
fn dispatch_after(&self, duration: Duration, runnable: Runnable) {
|
|
self.dispatcher.dispatch_after(duration, runnable);
|
|
}
|
|
}
|
|
|
|
ZedDispatcher {
|
|
dispatcher: cx.background_executor().dispatcher.clone(),
|
|
}
|
|
}
|