Move tableau SVG @input to top of component (#79 review comment)

jgonggrijp · jgonggrijp · commit 35c84db8439c · 2026-03-25T14:52:05.000+01:00
diff --git a/frontend/src/app/annotate/tableau-svg/tableau-svg.component.ts b/frontend/src/app/annotate/tableau-svg/tableau-svg.component.ts
@@ -13,6 +13,8 @@ import { TableauTree } from './tableau-tree.component';
 })
 export class TableauSVG {
 
+    public readonly tree = input.required<ProofTree>();
+
     treeDimensions$ = new Subject<Dimensions>();
     treeDimensions: Dimensions = {width:0, height: 0};
 
@@ -33,6 +35,4 @@ export class TableauSVG {
             left: Math.max(0, width / 2 - 500)
         });
     }
-
-    public readonly tree = input.required<ProofTree>();
 }

Original file line number	Diff line number	Diff line change
`@@ -13,6 +13,8 @@ import { TableauTree } from './tableau-tree.component';`
`13`	`13`	`})`
`14`	`14`	`export class TableauSVG {`
`15`	`15`
	`16`	`+ public readonly tree = input.required<ProofTree>();`
	`17`	`+`
`16`	`18`	`treeDimensions$ = new Subject<Dimensions>();`
`17`	`19`	`treeDimensions: Dimensions = {width:0, height: 0};`
`18`	`20`
`@@ -33,6 +35,4 @@ export class TableauSVG {`
`33`	`35`	`left: Math.max(0, width / 2 - 500)`
`34`	`36`	`});`
`35`	`37`	`}`
`36`		`-`
`37`		`- public readonly tree = input.required<ProofTree>();`
`38`	`38`	`}`