aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/editor/EditorParent.ts
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-11 01:03:21 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-31 19:26:10 +0100
commit299c4d93597b3065e6a1017ebe692cde66fc5e39 (patch)
tree57d634cec30ca37f0af81a37c3011e027589c35c /language-web/src/main/js/editor/EditorParent.ts
parentfeat(web): add CodeMirror 6 editor (diff)
downloadrefinery-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.ts22
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}));