Support ANSI escape sequence in trace explorer web view.

ansi-to-react does not need `unsafe-inline`. Corrects merge mistake of Github issue #320 #320 [Feature] Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
tlaplus · Jan 8, 2024 · 175b1c7 · 175b1c7
1 parent 180c012
commit 175b1c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/panels/checkResultView.ts b/src/panels/checkResultView.ts
@@ -145,7 +145,7 @@ class CheckResultViewPanel {
             <head>
                 <meta charset="UTF-8">
                 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-                <meta http-equiv="Content-Security-Policy" content="default-src 'none'; style-src 'unsafe-inline' ${webview.cspSource}; font-src ${webview.cspSource}; script-src 'nonce-${nonce}';">
+                <meta http-equiv="Content-Security-Policy" content="default-src 'none'; style-src ${webview.cspSource}; font-src ${webview.cspSource}; script-src 'nonce-${nonce}';">
                 <link rel="stylesheet" href="${styleUri}">
                 <title>Model checking</title>
             </head>