diff options
author | 2021-10-30 21:56:42 +0200 | |
---|---|---|
committer | 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 | }); |