You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Basic idea is that we treat all output by default as plain text to be <pre> formatted and then we use some kind of special marker around the snippets of HTML output so we can format those bits differently.
Bear in mind that we may want to move to outputting structured data here (say as a JSON snippet) rather than HTML and let the VSCode extension handle the presentation. So it's worth having this in mind when coming up with the marker syntax we use.
Currently, tracebacks and other error output is not rendered well in the VS Code extension:
The text was updated successfully, but these errors were encountered: