internal override void Rebuilt(History history)
{
if (glControl != null)
{
base.Rebuilt(history);
RenderManager.Rebuild(history.Snapshot, (int)Width);
}
}
public AllocationForm(History history)
: this()
{
history.Scrubber = MainScrubber;
MainScrubber.MousePressed += ((object sender, MouseEventArgs e) => Scrubber_MouseDown(history, e));
MainScrubber.MouseReleased += ((object sender, MouseEventArgs e) => Scrubber_MouseUp(history, e));
SetupScroller(history);
// Disabled by default - gets enabled when data comes in
this.Enabled = false;
AddressSpaceControl.PauseChanged += AddressSpaceControl_PauseChanged;
AddressSpaceControl.History = history;
}
public AddressSpaceScroller_OGL(History history, RenderManager_OGL renderManager, int parentWidth)
: base(parentWidth)
{
History = history;
RenderManager = renderManager;
glControl = new GLControl();
glControl.Parent = this;
glControl.Dock = DockStyle.Fill;
glControl.Load += glControl_Load;
glControl.Resize += glControl_Resize;
glControl.MouseDown += new MouseEventHandler(AddressSpaceScroller_MouseDown);
glControl.MouseUp += new MouseEventHandler(AddressSpaceScroller_MouseUp);
glControl.MouseMove += new MouseEventHandler(AddressSpaceScroller_MouseMove);
this.Controls.Add(glControl);
}
internal virtual void Rebuilt(History history)
{
// TODO: Too circular how history calls this and then it asks history for stuff
if (!history.Snapshot.Contains(SelectedBlock))
{
SelectedBlock = null;
}
if (!history.Snapshot.Contains(HoverBlock))
{
HoverBlock = null;
}
}
public void ProcessDiff(History history)
{
Left.ProcessSnapshot(history);
Right.ProcessSnapshot(history);
CalculateDiff();
}
private void SetupScroller(History history)
{
this.AddressSpaceScroller =
new Alloclave.AddressSpaceScroller_OGL(history, RenderManager, AddressSpaceControl.Width);
this.AddressSpaceScroller.Dock = System.Windows.Forms.DockStyle.Fill;
this.AddressSpaceScroller.Location = new System.Drawing.Point(679, 6);
this.AddressSpaceScroller.Name = "AddressSpaceScroller";
this.AddressSpaceScroller.Size = new System.Drawing.Size(44, 436);
this.AddressSpaceScroller.TabIndex = 5;
this.AddressSpaceScroller.FocusChanged += addressSpaceScroller_FocusChanged;
this.AddressSpaceScroller.Margin = new System.Windows.Forms.Padding(1);
this.TableLayoutPanel.Controls.Add(this.AddressSpaceScroller, 2, 0);
}
