Function evaluateViewLayout

modules/widgets/src/splitter-widget.tsx:87–144

(
    l: ManagedViewLayout,
    x: number,
    y: number,
    width: number,
    height: number
  )

function evaluateViews(root: ManagedViewLayout): View[] {
  const views: View[] = [];
  function evaluateViewLayout(
    l: ManagedViewLayout,
    x: number,
    y: number,
    width: number,
    height: number
  ) {
    l.x = x;
    l.y = y;
    l.width = width;
    l.height = height;

    const child1X = x;
    const child1Y = y;
    let child1Width = width;
    let child1Height = height;
    let child2X = x;
    let child2Y = y;
    let child2Width = width;
    let child2Height = height;

    if (l.orientation === 'horizontal') {
      child1Width = width * l.split;
      child2X = x + child1Width;
      child2Width = width - child1Width;
    } else {
      child1Height = height * l.split;
      child2Y = y + child1Height;
      child2Height = height - child1Height;
    }

    const [view1, view2] = l.views;
    if ('views' in view1) {
      evaluateViewLayout(view1, child1X, child1Y, child1Width, child1Height);
    } else {
      views.push(
        view1.clone({
          x: `${child1X}%`,
          y: `${child1Y}%`,
          width: `${child1Width}%`,
          height: `${child1Height}%`
        })
      );
    }

    if ('views' in view2) {
      evaluateViewLayout(view2, child2X, child2Y, child2Width, child2Height);
    } else {
      views.push(
        view2.clone({
          x: `${child2X}%`,
          y: `${child2Y}%`,
          width: `${child2Width}%`,
          height: `${child2Height}%`
        })
      );
    }
  }