Add colored background to highlightchanges to the state: removal, add…

…ition and update Signed-off-by: Federico Ponzi <me@fponzi.me>
tlaplus · Oct 11, 2024 · a743211 · a743211
1 parent c08dc12
commit a743211
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/webview/checkResultView/errorTraceSection/index.css b/src/webview/checkResultView/errorTraceSection/index.css
@@ -102,10 +102,12 @@
 }
 
 .value-A {
+    background-color: rgba(128, 255, 73, 0.1);
     text-decoration: underline var(--vscode-gitDecoration-addedResourceForeground);
 }
 
 .value-M {
+    background-color: rgba(245, 254, 145, 0.1);
     text-decoration: underline dotted var(--vscode-gitDecoration-modifiedResourceForeground);
 }