diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-01-03 02:47:05 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-01-03 13:33:55 +0100 |
commit | d2ef593cbb097ed04f38a09680a656598dd7d8d3 (patch) | |
tree | d2538d6c414196da2e39de414e1ee3126adb76d1 /subprojects/frontend/src/editor/EditorTheme.ts | |
parent | feat(web): color identifiers and nodes (diff) | |
download | refinery-d2ef593cbb097ed04f38a09680a656598dd7d8d3.tar.gz refinery-d2ef593cbb097ed04f38a09680a656598dd7d8d3.tar.zst refinery-d2ef593cbb097ed04f38a09680a656598dd7d8d3.zip |
refactor(web): subtler error predicate highlight
Diffstat (limited to 'subprojects/frontend/src/editor/EditorTheme.ts')
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index 383e1b75..b536dc0c 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -133,6 +133,11 @@ export default styled('div', { | |||
133 | }, | 133 | }, |
134 | '.tok-problem-error': { | 134 | '.tok-problem-error': { |
135 | '&, & .tok-typeName': { | 135 | '&, & .tok-typeName': { |
136 | color: theme.palette.highlight.comment, | ||
137 | }, | ||
138 | }, | ||
139 | '.tok-invalid': { | ||
140 | '&, & .tok-typeName': { | ||
136 | color: theme.palette.error.main, | 141 | color: theme.palette.error.main, |
137 | }, | 142 | }, |
138 | }, | 143 | }, |