diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-30 21:56:42 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:15 +0100 |
| commit | 8c90023676fae675e89b1a20c7fc95c63fc1dd5a (patch) | |
| tree | cef3c3f6716026d1e9998fec8ca9171c6fe478af /language-web/src/main/js/editor/EditorParent.ts | |
| parent | feat(web): use 4 space for indentation (diff) | |
| download | refinery-8c90023676fae675e89b1a20c7fc95c63fc1dd5a.tar.gz refinery-8c90023676fae675e89b1a20c7fc95c63fc1dd5a.tar.zst refinery-8c90023676fae675e89b1a20c7fc95c63fc1dd5a.zip | |
feat(web): find occurrences when idle
Diffstat (limited to 'language-web/src/main/js/editor/EditorParent.ts')
| -rw-r--r-- | language-web/src/main/js/editor/EditorParent.ts | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/language-web/src/main/js/editor/EditorParent.ts b/language-web/src/main/js/editor/EditorParent.ts index ea8c13b6..b890ac3c 100644 --- a/language-web/src/main/js/editor/EditorParent.ts +++ b/language-web/src/main/js/editor/EditorParent.ts | |||
| @@ -190,5 +190,11 @@ export const EditorParent = styled('div')(({ theme }) => { | |||
| 190 | textAlign: 'center', | 190 | textAlign: 'center', |
| 191 | }, | 191 | }, |
| 192 | ...codeMirrorLintStyle, | 192 | ...codeMirrorLintStyle, |
| 193 | '.cm-problem-write': { | ||
| 194 | background: 'rgba(255, 255, 128, 0.3)', | ||
| 195 | }, | ||
| 196 | '.cm-problem-read': { | ||
| 197 | background: 'rgba(255, 255, 255, 0.15)', | ||
| 198 | }, | ||
| 193 | }; | 199 | }; |
| 194 | }); | 200 | }); |