diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-08-17 02:32:26 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-17 02:43:55 +0200 |
| commit | eb5da232b5954895b449957c73e35d0b36e3a902 (patch) | |
| tree | a8714116cfe3102659e9c5e5b90131e7ec248492 /subprojects/frontend/src/editor/EditorPane.tsx | |
| parent | chore(deps): bump dependencies (diff) | |
| download | refinery-eb5da232b5954895b449957c73e35d0b36e3a902.tar.gz refinery-eb5da232b5954895b449957c73e35d0b36e3a902.tar.zst refinery-eb5da232b5954895b449957c73e35d0b36e3a902.zip | |
feat: basic semantics mapping and visualization
Diffstat (limited to 'subprojects/frontend/src/editor/EditorPane.tsx')
| -rw-r--r-- | subprojects/frontend/src/editor/EditorPane.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/EditorPane.tsx b/subprojects/frontend/src/editor/EditorPane.tsx index 87f408fe..c9f86496 100644 --- a/subprojects/frontend/src/editor/EditorPane.tsx +++ b/subprojects/frontend/src/editor/EditorPane.tsx | |||
| @@ -39,7 +39,7 @@ export default observer(function EditorPane(): JSX.Element { | |||
| 39 | const { editorStore } = useRootStore(); | 39 | const { editorStore } = useRootStore(); |
| 40 | 40 | ||
| 41 | return ( | 41 | return ( |
| 42 | <Stack direction="column" flexGrow={1} flexShrink={1} overflow="auto"> | 42 | <Stack direction="column" height="100%" overflow="auto"> |
| 43 | <Toolbar variant="dense"> | 43 | <Toolbar variant="dense"> |
| 44 | <EditorButtons editorStore={editorStore} /> | 44 | <EditorButtons editorStore={editorStore} /> |
| 45 | </Toolbar> | 45 | </Toolbar> |