1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
import Box from '@mui/material/Box';
import { useTheme } from '@mui/material/styles';
import { observer } from 'mobx-react-lite';
import React, { useCallback, useEffect, useState } from 'react';
import EditorAreaDecorations from './EditorAreaDecorations';
import type EditorStore from './EditorStore';
import EditorTheme from './EditorTheme';
export default observer(function EditorArea({
editorStore,
}: {
editorStore: EditorStore;
}): JSX.Element {
const {
palette: { mode: paletteMode },
} = useTheme();
const [parent, setParent] = useState<HTMLElement | undefined>();
const [scroller, setScroller] = useState<HTMLElement | undefined>();
useEffect(
() => editorStore.setDarkMode(paletteMode === 'dark'),
[editorStore, paletteMode],
);
const parentRef = useCallback(
(value: HTMLElement | null) => setParent(value ?? undefined),
[],
);
const editorParentRef = useCallback(
(editorParent: HTMLDivElement | null) => {
editorStore.setEditorParent(editorParent ?? undefined);
setScroller(editorStore.view?.scrollDOM);
},
[editorStore, setScroller],
);
return (
<Box
ref={parentRef}
position="relative"
flexGrow={1}
flexShrink={1}
overflow="auto"
>
<EditorTheme
showLineNumbers={editorStore.showLineNumbers}
ref={editorParentRef}
/>
<EditorAreaDecorations parent={parent} scroller={scroller} />
</Box>
);
});
|
