Closed pederhan closed 2 months ago
This PR escapes exception messages using prompt_toolkit's own HTML escaping function before passing them to HTML().
HTML()
Need to iterate on this a bit; we probably want self.formatted_exception to be able to provide HTML tags, but we want the content inside those tags to be escaped somehow.
self.formatted_exception
This PR escapes exception messages using prompt_toolkit's own HTML escaping function before passing them to
HTML()
.