support for top-down scalefactor (#153)

new render scaling to scale children of nodes

packages/klighd-core/src/views-rendering.tsx

@@ -149,7 +149,15 @@ export function renderChildArea(
         </g>
     )
 
-    return element
+    // get scale factor and apply to child area
+    if (
+        (parent as any).properties === undefined ||
+        (parent as any).properties['org.eclipse.elk.topdown.scaleFactor'] === undefined
+    ) {
+        return element
+    }
+    const topdownScaleFactor = (parent as any).properties['org.eclipse.elk.topdown.scaleFactor'] as number
+    return <g transform={`scale (${topdownScaleFactor})`}>${element}</g>
 }
 
 /**
@@ -1525,9 +1533,18 @@ export function getJunctionPointRenderings(edge: SKEdge, context: SKGraphModelRe
     }
 
     const renderings: VNode[] = []
+
+    let topdownScaleFactor = 1
+    if (
+        (edge.parent as any).properties === undefined ||
+        (edge.parent as any).properties['org.eclipse.elk.topdown.scaleFactor'] === undefined
+    ) {
+        topdownScaleFactor = (edge.parent as any).properties['org.eclipse.elk.topdown.scaleFactor'] as number
+    }
+
     edge.junctionPoints.forEach((junctionPoint) => {
         const junctionPointVNode = <g transform={`translate(${junctionPoint.x},${junctionPoint.y})`}>{vNode}</g>
-        renderings.push(junctionPointVNode)
+        renderings.push(<g transform={`scale (${topdownScaleFactor})`}>${junctionPointVNode}</g>)
     })
     return renderings
 }