diff --git a/src/App/App.tsx b/src/App/App.tsx index 16fa9f7..49e5f05 100644 --- a/src/App/App.tsx +++ b/src/App/App.tsx @@ -118,6 +118,8 @@ export function App() { borderLeft: 1, borderColor: "divider", flex: '0 0 content', + height: 'calc(100vh-32px)', + overflow: "auto", // paddingRight: 1, // paddingLeft: 1, }}> diff --git a/src/VisualEditor/VisualEditor.tsx b/src/VisualEditor/VisualEditor.tsx index 098ef44..c0c5e4f 100644 --- a/src/VisualEditor/VisualEditor.tsx +++ b/src/VisualEditor/VisualEditor.tsx @@ -251,7 +251,6 @@ export function VisualEditor({setAST, rt, errors, setErrors, mode}: VisualEditor const uid = e.target?.dataset.uid; const parts: string[] = e.target?.dataset.parts?.split(' ').filter((p:string) => p!=="") || []; if (uid && parts.length > 0) { - console.log('start drag'); checkPoint(); // if the mouse button is pressed outside of the current selection, we reset the selection to whatever shape the mouse is on diff --git a/src/statecharts/parser.ts b/src/statecharts/parser.ts index 5ea8cf7..2500762 100644 --- a/src/statecharts/parser.ts +++ b/src/statecharts/parser.ts @@ -176,7 +176,6 @@ export function parseStatechart(state: VisualEditorState, conns: Connections): [ let tgt; if (historyTgtUID) { tgt = historyStates.find(h => h.uid === historyTgtUID)!; - console.log(tgt); } else { tgt = uid2State.get(tgtUID!)!;