diff options
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 | })); |