From b87782ed05ce24e41a3338acd7c6a21fec9ab57a Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Sat, 1 Aug 2020 18:52:56 +0200 Subject: [PATCH] re-enabled decorators in output. Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/style/main.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/style/main.css b/arduino-ide-extension/src/browser/style/main.css index 96a78efd..5dee2e84 100644 --- a/arduino-ide-extension/src/browser/style/main.css +++ b/arduino-ide-extension/src/browser/style/main.css @@ -161,7 +161,7 @@ background-color: var(--theia-arduino-output-background); } -.theia-output .monaco-editor .lines-content.monaco-editor-background .view-lines .view-line .mtk1 { +.theia-output .monaco-editor .lines-content.monaco-editor-background .view-lines .view-line .mtk1:not(.theia-output-error):not(.theia-output-warning) { color: var(--theia-arduino-output-foreground); }