/// <summary>
/// Create an <see cref="Overview"/> control -- you need to set its
/// <see cref="Observed"/> property to refer to a different <see cref="Diagram"/>
/// before it becomes useful.
/// </summary>
public Overview() {
this.DefaultStyleKey = typeof(Overview);
this.LayoutManager = new OverviewLayoutManager();
// allow the user to move the Box by clicking or dragging anywhere
MoveBoxTool tool = new MoveBoxTool();
tool.Diagram = this;
this.MouseDownTools.Add(tool);
}
/// <summary>
/// Create an <see cref="Overview"/> control -- you need to set its
/// <see cref="Observed"/> property to refer to a different <see cref="Diagram"/>
/// before it becomes useful.
/// </summary>
public Overview()
{
this.DefaultStyleKey = typeof(Overview);
this.LayoutManager = new OverviewLayoutManager();
// allow the user to move the Box by clicking or dragging anywhere
MoveBoxTool tool = new MoveBoxTool();
tool.Diagram = this;
this.MouseDownTools.Add(tool);
}
