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 | |
| 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')
| -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 | }, |