void Init()
{
Profile.History.Updated += History_Updated;
AllocationForm = new AllocationForm(Profile.History);
AllocationForm.MainScrubber.PositionChanged += MainScrubber_PositionChanged;
WeifenLuo.WinFormsUI.Docking.DockHelper.PreventActivation = true;
_DockPanel.Theme = new VS2012LightTheme();
AllocationForm.Show(_DockPanel);
MessagesForm.Show(_DockPanel, WeifenLuo.WinFormsUI.Docking.DockState.DockBottom);
InfoForm.Show(MessagesForm.Pane, WeifenLuo.WinFormsUI.Docking.DockAlignment.Right, 0.55);
WeifenLuo.WinFormsUI.Docking.DockHelper.PreventActivation = false;
}
public void AddTab(AllocationForm allocationForm)
{
allocationForm.TopLevel = false;
allocationForm.Dock = DockStyle.Fill;
allocationForm.Show(_DockPanel);
}
private void AddDiffTab(Diff diff)
{
AllocationForm allocationForm = new AllocationForm(diff, TransportForm.AllocationForm.AddressSpaceControl.Width);
allocationForm.Text = "Diff";
allocationForm.ControllerContainer.Controls.Remove(allocationForm.MainScrubber);
DiffButtons diffButtons = new DiffButtons();
diffButtons.StartLabel.Click += (_, __) => allocationForm.SetDiffMode(AllocationForm.DiffMode.Left);
diffButtons.DifferenceLabel.Click += (_, __) => allocationForm.SetDiffMode(AllocationForm.DiffMode.Middle);
diffButtons.EndLabel.Click += (_, __) => allocationForm.SetDiffMode(AllocationForm.DiffMode.Right);
allocationForm.ControllerContainer.Controls.Add(diffButtons);
allocationForm.AddressSpaceControl.SnapshotOverride = diff.Difference;
TransportForm.AddTab(allocationForm);
}