Пример #1
0
        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);
        }
Пример #2
0
        /// <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);
        }
Пример #3
0
 protected override void OnActivated(EventArgs e)
 {
     base.OnActivated(e);
     DockManager.FormActivated(this);
 }
Пример #4
0
 public AutoHideStorage(DockManager manager, DockContainer parent, DockStyle parentDock, DockStyle toplevelDock)
 {
     this.manager = manager;
     this.parent = parent;
     this.parentDock = parentDock;
     this.toplevelDock = toplevelDock;
 }
Пример #5
0
        internal static void UnRegisterManager(DockManager manager)
        {
            if (!managerList.Contains(manager))
                return;

            managerList.Remove(manager);
        }
Пример #6
0
        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);
        }