From 175b1c7ae18ff2f39447d23e09e5818b1b69cea7 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Mon, 8 Jan 2024 13:57:34 -0800 Subject: [PATCH] Support ANSI escape sequence in trace explorer web view. ansi-to-react does not need `unsafe-inline`. Corrects merge mistake of Github issue #320 https://github.com/tlaplus/vscode-tlaplus/issues/320 [Feature] Signed-off-by: Markus Alexander Kuppe --- src/panels/checkResultView.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/panels/checkResultView.ts b/src/panels/checkResultView.ts index c274b56..8911ed2 100644 --- a/src/panels/checkResultView.ts +++ b/src/panels/checkResultView.ts @@ -145,7 +145,7 @@ class CheckResultViewPanel { - + Model checking