aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/App.tsx
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-10-02 02:11:31 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-10-02 02:11:31 +0200
commitb834db0fd424e7ab02fcd5e509d855f2d97863bd (patch)
treeb56ce9b8f752d8ca98e1d9082c63542e5dd993c1 /language-web/src/main/js/App.tsx
parentfeat: skeleton for language to store mapping (diff)
downloadrefinery-b834db0fd424e7ab02fcd5e509d855f2d97863bd.tar.gz
refinery-b834db0fd424e7ab02fcd5e509d855f2d97863bd.tar.zst
refinery-b834db0fd424e7ab02fcd5e509d855f2d97863bd.zip
perf(web): split off CodeMirror chunks
Also optimizes statis asset caching.
Diffstat (limited to 'language-web/src/main/js/App.tsx')
-rw-r--r--language-web/src/main/js/App.tsx6
1 files changed, 3 insertions, 3 deletions
diff --git a/language-web/src/main/js/App.tsx b/language-web/src/main/js/App.tsx
index 17d4f339..5cd157fa 100644
--- a/language-web/src/main/js/App.tsx
+++ b/language-web/src/main/js/App.tsx
@@ -9,12 +9,12 @@ import MenuIcon from '@material-ui/icons/Menu';
9import PlayArrowIcon from '@material-ui/icons/PlayArrow'; 9import PlayArrowIcon from '@material-ui/icons/PlayArrow';
10 10
11import { makeStyles } from './makeStyles'; 11import { makeStyles } from './makeStyles';
12import { Editor } from './editor/Editor'; 12import { EditorArea } from './editor/EditorArea';
13import { EditorButtons } from './editor/EditorButtons'; 13import { EditorButtons } from './editor/EditorButtons';
14 14
15const useStyles = makeStyles()((theme) => ({ 15const useStyles = makeStyles()((theme) => ({
16 container: { 16 container: {
17 maxHeight: '100vh', 17 height: '100vh',
18 }, 18 },
19 menuButton: { 19 menuButton: {
20 marginRight: theme.spacing(2), 20 marginRight: theme.spacing(2),
@@ -85,7 +85,7 @@ export const App = (): JSX.Element => {
85 flexShrink={1} 85 flexShrink={1}
86 className={cx(classes.editorBox)} 86 className={cx(classes.editorBox)}
87 > 87 >
88 <Editor /> 88 <EditorArea />
89 </Box> 89 </Box>
90 </Box> 90 </Box>
91 ); 91 );