-
Notifications
You must be signed in to change notification settings - Fork 6k
Labels
.contrib/good first issueIssue suitable for first-time contributorsIssue suitable for first-time contributorsarea:editorFeedback for code editing, formatting, editor iterations, etcFeedback for code editing, formatting, editor iterations, etcarea:languages/pythonPython programming language supportPython programming language supportarea:replrepl, jupyter, notebooks, etcrepl, jupyter, notebooks, etcsize:smallbite-size issuesbite-size issues
Description
Summary
copy button for REPL errors does not work
Description
using an interactive python REPL with a content like:
# %%
import sys
print("std")
print("err", file=sys.stderr)
not_existingwould produce an error (as not_existing is undefined) and the output is split into two sections, stdout+stderr where the copy button works, and a second section where the NameError: is shown and where both the copy and open REPL Output buttons have no effect.
DESCRIPTION_HERE
Steps to reproduce:
- start a REPL in the editor (with content as above)
- execute
- try to copy the stderr+stdout - works
- try to copy the error - nothing happens (see the second copy button in the attached screenshot)
Zed Version and System Specs
recent 0.207.4 - but I believe it never actually worked

Metadata
Metadata
Assignees
Labels
.contrib/good first issueIssue suitable for first-time contributorsIssue suitable for first-time contributorsarea:editorFeedback for code editing, formatting, editor iterations, etcFeedback for code editing, formatting, editor iterations, etcarea:languages/pythonPython programming language supportPython programming language supportarea:replrepl, jupyter, notebooks, etcrepl, jupyter, notebooks, etcsize:smallbite-size issuesbite-size issues