...

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,
         }}>

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

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!)!;