From 26378c25c419ead441810124ec0a9242605045f1 Mon Sep 17 00:00:00 2001 From: Daniel Imms <2193314+Tyriar@users.noreply.github.com> Date: Wed, 31 May 2023 06:48:32 -0700 Subject: [PATCH] Update xterm.css Fixes #181242 --- .../contrib/terminal/browser/media/xterm.css | 34 +++++++++++++++++-- 1 file changed, 32 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/contrib/terminal/browser/media/xterm.css b/src/vs/workbench/contrib/terminal/browser/media/xterm.css index 3889931ba8216..a7b1dbaa1c4d7 100644 --- a/src/vs/workbench/contrib/terminal/browser/media/xterm.css +++ b/src/vs/workbench/contrib/terminal/browser/media/xterm.css @@ -165,7 +165,9 @@ } .xterm-dim { - opacity: 0.5; + /* Dim should not apply to background, so the opacity of the foreground color is applied + * explicitly in the generated class and reset to 1 here */ + opacity: 1 !important; } .xterm-underline-1 { @@ -188,6 +190,30 @@ text-decoration: dashed underline; } +.xterm-overline { + text-decoration: overline; +} + +.xterm-overline.xterm-underline-1 { + text-decoration: overline underline; +} + +.xterm-overline.xterm-underline-2 { + text-decoration: overline double underline; +} + +.xterm-overline.xterm-underline-3 { + text-decoration: overline wavy underline; +} + +.xterm-overline.xterm-underline-4 { + text-decoration: overline dotted underline; +} + +.xterm-overline.xterm-underline-5 { + text-decoration: overline dashed underline; +} + .xterm-strikethrough { text-decoration: line-through; } @@ -197,8 +223,12 @@ position: absolute; } -.xterm-decoration-overview-ruler { +.xterm-screen .xterm-decoration-container .xterm-decoration.xterm-decoration-top-layer { z-index: 7; +} + +.xterm-decoration-overview-ruler { + z-index: 8; position: absolute; top: 0; right: 0;