80c25960dd
Closes #15494 Simple copy button to copy an individual output since selection is a bit more work. <img width="790" alt="image" src="https://github.com/user-attachments/assets/4a7d8b69-70cc-428e-8fe3-b95386d341ee"> Release Notes: - repl: Copy output from the REPL using a button --------- Co-authored-by: Mikayla <mikayla@zed.dev> |
||
|---|---|---|
| .. | ||
| components | ||
| components.rs | ||
| jupyter_settings.rs | ||
| kernels.rs | ||
| outputs.rs | ||
| repl.rs | ||
| repl_editor.rs | ||
| repl_sessions_ui.rs | ||
| repl_store.rs | ||
| session.rs | ||
| stdio.rs | ||