Closed pederhan closed 2 months ago
This PR changes the interface for escaping exception messages, allowing us to escape them before passing them to prompt_toolkit, while also allowing us to log the real exception message verbatim.
This PR changes the interface for escaping exception messages, allowing us to escape them before passing them to prompt_toolkit, while also allowing us to log the real exception message verbatim.