internal static void RegisterManager(DockManager manager)
{
if (managerList.Contains(manager))
{
return;
}
if (manager == null)
{
throw new ArgumentNullException("The manager must not be null.");
}
manager.Disposed += new EventHandler(ObjectDisposed);
managerList.Add(manager);
}
/// <summary>
/// Initializes the <seealso cref="DockManager"/> (paint styles and startup containter type).
/// </summary>
void Init()
{
// Enable double buffering.
SetStyle(ControlStyles.DoubleBuffer, true);
SetStyle(ControlStyles.AllPaintingInWmPaint, true);
// Set container type to document and clear removeable flag to prevent manager to destroy itself.
DockType = DockContainerType.Document;
removeable = false;
// Create event handler.
dragWindowHandler = new DockEventHandler(this.DragWindow);
DockManager.RegisterManager(this);
}
protected override void OnActivated(EventArgs e)
{
base.OnActivated(e);
DockManager.FormActivated(this);
}
public AutoHideStorage(DockManager manager, DockContainer parent, DockStyle parentDock, DockStyle toplevelDock)
{
this.manager = manager;
this.parent = parent;
this.parentDock = parentDock;
this.toplevelDock = toplevelDock;
}
internal static void UnRegisterManager(DockManager manager)
{
if (!managerList.Contains(manager))
return;
managerList.Remove(manager);
}
internal static void RegisterManager(DockManager manager)
{
if (managerList.Contains(manager))
return;
if (manager == null)
throw new ArgumentNullException("The manager must not be null.");
manager.Disposed += new EventHandler(ObjectDisposed);
managerList.Add(manager);
}