diff options
author | 2021-10-11 01:03:21 +0200 | |
---|---|---|
committer | 2021-10-31 19:26:10 +0100 | |
commit | 299c4d93597b3065e6a1017ebe692cde66fc5e39 (patch) | |
tree | 57d634cec30ca37f0af81a37c3011e027589c35c /language-web/src/main/js/editor/EditorParent.ts | |
parent | feat(web): add CodeMirror 6 editor (diff) | |
download | refinery-299c4d93597b3065e6a1017ebe692cde66fc5e39.tar.gz refinery-299c4d93597b3065e6a1017ebe692cde66fc5e39.tar.zst refinery-299c4d93597b3065e6a1017ebe692cde66fc5e39.zip |
feat(web): experiment with Lezer parser
Diffstat (limited to 'language-web/src/main/js/editor/EditorParent.ts')
-rw-r--r-- | language-web/src/main/js/editor/EditorParent.ts | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/language-web/src/main/js/editor/EditorParent.ts b/language-web/src/main/js/editor/EditorParent.ts index bf67522b..316c5072 100644 --- a/language-web/src/main/js/editor/EditorParent.ts +++ b/language-web/src/main/js/editor/EditorParent.ts | |||
@@ -49,13 +49,29 @@ export const EditorParent = styled('div')(({ theme }) => ({ | |||
49 | background: theme.palette.background.paper, | 49 | background: theme.palette.background.paper, |
50 | borderTop: `1px solid ${theme.palette.divider}`, | 50 | borderTop: `1px solid ${theme.palette.divider}`, |
51 | 'button[name="close"]': { | 51 | 'button[name="close"]': { |
52 | // HACK We can't hook the panel close button to go through `EditorStore`, | 52 | color: theme.palette.text.secondary, |
53 | // so we hide it altogether. | 53 | cursor: 'pointer', |
54 | display: 'none', | ||
55 | }, | 54 | }, |
56 | }, | 55 | }, |
56 | '.cm-foldPlaceholder': { | ||
57 | background: theme.palette.background.paper, | ||
58 | borderColor: theme.palette.text.disabled, | ||
59 | color: theme.palette.text.secondary, | ||
60 | }, | ||
57 | '.cmt-comment': { | 61 | '.cmt-comment': { |
58 | fontVariant: 'italic', | 62 | fontVariant: 'italic', |
59 | color: theme.palette.text.disabled, | 63 | color: theme.palette.text.disabled, |
60 | }, | 64 | }, |
65 | '.cmt-number': { | ||
66 | color: '#6188a6', | ||
67 | }, | ||
68 | '.cmt-keyword': { | ||
69 | color: theme.palette.primary.main, | ||
70 | }, | ||
71 | '.cmt-typeName, .cmt-atom': { | ||
72 | color: theme.palette.text.primary, | ||
73 | }, | ||
74 | '.cmt-variableName': { | ||
75 | color: '#c8ae9d', | ||
76 | }, | ||
61 | })); | 77 | })); |