Minor ui fixes

This commit is contained in:
IRBorisov 2023-08-05 01:14:41 +03:00
parent d227f7a5d9
commit 2bd47df3e3
2 changed files with 2 additions and 2 deletions

View File

@ -68,7 +68,7 @@ function EditorConstituenta({ activeID, onShowAST, onCreateCst, onOpenEdit, onDe
} else if (schema && schema?.items.length > 0) { } else if (schema && schema?.items.length > 0) {
onOpenEdit(schema.items[0].id); onOpenEdit(schema.items[0].id);
} }
}, [activeCst]); }, [activeCst, onOpenEdit, schema]);
function handleSubmit(event: React.FormEvent<HTMLFormElement>) { function handleSubmit(event: React.FormEvent<HTMLFormElement>) {
event.preventDefault(); event.preventDefault();

View File

@ -146,7 +146,7 @@ function EditorTermGraph() {
onNodePointerOver={onNodePointerOver} onNodePointerOver={onNodePointerOver}
onNodePointerOut={onNodePointerOut} onNodePointerOut={onNodePointerOut}
cameraMode={ orbit ? 'orbit' : layout.includes('3d') ? 'rotate' : 'pan'} cameraMode={ orbit ? 'orbit' : layout.includes('3d') ? 'rotate' : 'pan'}
layoutOverrides={ layout.includes('tree') ? { nodeLevelRatio: 1 } : undefined } layoutOverrides={ layout.includes('tree') ? { nodeLevelRatio: schema && schema?.items.length < 50 ? 3 : 1 } : undefined }
labelFontUrl={resources.graph_font} labelFontUrl={resources.graph_font}
theme={darkMode ? darkTheme : lightTheme} theme={darkMode ? darkTheme : lightTheme}
renderNode={({ node, ...rest }) => ( renderNode={({ node, ...rest }) => (