public GraphControl(GraphProvider echoGraph, ITheme theme, FontSettings font)
{
InitializeComponent();
// could set LastChildFill to true, doesn't seem to matter
Panel.HorizontalAlignment = HorizontalAlignment.Center;
Panel.VerticalAlignment = VerticalAlignment.Center;
var viewer = new GraphViewer();
viewer.BindToPanel(Panel);
viewer.Graph = echoGraph.ToMicrosoftGraph(theme, font);
viewer.NodeToCenterWithScale(viewer.Graph.Nodes.OrderBy(n => n.UserData is long u ? u : long.MaxValue).First(), 1);
}
public ControlFlowGraphTabUiContext(GraphProvider graph, ITheme theme, FontSettings font)
{
content = new GraphControl(graph, theme, font);
}
public ControlFlowGraphTabContent(GraphProvider graphProvider, ITheme theme, FontSettings font)
{
this.graphProvider = graphProvider;
this.theme = theme;
this.font = font;
}
