DockPanel.AutoHideWindow.cs
上传用户:szlfmled
上传日期:2020-11-22
资源大小:978k
文件大小:23k
- using System;
- using System.Windows.Forms;
- using System.Drawing;
- using System.Runtime.InteropServices;
- namespace WeifenLuo.WinFormsUI.Docking
- {
- partial class DockPanel
- {
- private class AutoHideWindowControl : Panel, ISplitterDragSource
- {
- private class SplitterControl : SplitterBase
- {
- public SplitterControl(AutoHideWindowControl autoHideWindow)
- {
- m_autoHideWindow = autoHideWindow;
- }
- private AutoHideWindowControl m_autoHideWindow;
- private AutoHideWindowControl AutoHideWindow
- {
- get { return m_autoHideWindow; }
- }
- protected override int SplitterSize
- {
- get { return Measures.SplitterSize; }
- }
- protected override void StartDrag()
- {
- AutoHideWindow.DockPanel.BeginDrag(AutoHideWindow, AutoHideWindow.RectangleToScreen(Bounds));
- }
- }
- #region consts
- private const int ANIMATE_TIME = 100; // in mini-seconds
- #endregion
- private Timer m_timerMouseTrack;
- private SplitterControl m_splitter;
- public AutoHideWindowControl(DockPanel dockPanel)
- {
- m_dockPanel = dockPanel;
- m_timerMouseTrack = new Timer();
- m_timerMouseTrack.Tick += new EventHandler(TimerMouseTrack_Tick);
- Visible = false;
- m_splitter = new SplitterControl(this);
- Controls.Add(m_splitter);
- }
- protected override void Dispose(bool disposing)
- {
- if (disposing)
- {
- m_timerMouseTrack.Dispose();
- }
- base.Dispose(disposing);
- }
- private DockPanel m_dockPanel = null;
- public DockPanel DockPanel
- {
- get { return m_dockPanel; }
- }
- private DockPane m_activePane = null;
- public DockPane ActivePane
- {
- get { return m_activePane; }
- }
- private void SetActivePane()
- {
- DockPane value = (ActiveContent == null ? null : ActiveContent.DockHandler.Pane);
- if (value == m_activePane)
- return;
- m_activePane = value;
- }
- private IDockContent m_activeContent = null;
- public IDockContent ActiveContent
- {
- get { return m_activeContent; }
- set
- {
- if (value == m_activeContent)
- return;
- if (value != null)
- {
- if (!DockHelper.IsDockStateAutoHide(value.DockHandler.DockState) || value.DockHandler.DockPanel != DockPanel)
- throw (new InvalidOperationException(Strings.DockPanel_ActiveAutoHideContent_InvalidValue));
- }
- DockPanel.SuspendLayout();
- if (m_activeContent != null)
- {
- if (m_activeContent.DockHandler.Form.ContainsFocus)
- DockPanel.ContentFocusManager.GiveUpFocus(m_activeContent);
- AnimateWindow(false);
- }
- m_activeContent = value;
- SetActivePane();
- if (ActivePane != null)
- ActivePane.ActiveContent = m_activeContent;
- if (m_activeContent != null)
- AnimateWindow(true);
- DockPanel.ResumeLayout();
- DockPanel.RefreshAutoHideStrip();
- SetTimerMouseTrack();
- }
- }
- public DockState DockState
- {
- get { return ActiveContent == null ? DockState.Unknown : ActiveContent.DockHandler.DockState; }
- }
- private bool m_flagAnimate = true;
- private bool FlagAnimate
- {
- get { return m_flagAnimate; }
- set { m_flagAnimate = value; }
- }
- private bool m_flagDragging = false;
- internal bool FlagDragging
- {
- get { return m_flagDragging; }
- set
- {
- if (m_flagDragging == value)
- return;
- m_flagDragging = value;
- SetTimerMouseTrack();
- }
- }
- private void AnimateWindow(bool show)
- {
- if (!FlagAnimate && Visible != show)
- {
- Visible = show;
- return;
- }
- Parent.SuspendLayout();
- Rectangle rectSource = GetRectangle(!show);
- Rectangle rectTarget = GetRectangle(show);
- int dxLoc, dyLoc;
- int dWidth, dHeight;
- dxLoc = dyLoc = dWidth = dHeight = 0;
- if (DockState == DockState.DockTopAutoHide)
- dHeight = show ? 1 : -1;
- else if (DockState == DockState.DockLeftAutoHide)
- dWidth = show ? 1 : -1;
- else if (DockState == DockState.DockRightAutoHide)
- {
- dxLoc = show ? -1 : 1;
- dWidth = show ? 1 : -1;
- }
- else if (DockState == DockState.DockBottomAutoHide)
- {
- dyLoc = (show ? -1 : 1);
- dHeight = (show ? 1 : -1);
- }
- if (show)
- {
- Bounds = DockPanel.GetAutoHideWindowBounds(new Rectangle(-rectTarget.Width, -rectTarget.Height, rectTarget.Width, rectTarget.Height));
- if (Visible == false)
- Visible = true;
- PerformLayout();
- }
- SuspendLayout();
- LayoutAnimateWindow(rectSource);
- if (Visible == false)
- Visible = true;
- int speedFactor = 1;
- int totalPixels = (rectSource.Width != rectTarget.Width) ?
- Math.Abs(rectSource.Width - rectTarget.Width) :
- Math.Abs(rectSource.Height - rectTarget.Height);
- int remainPixels = totalPixels;
- DateTime startingTime = DateTime.Now;
- while (rectSource != rectTarget)
- {
- DateTime startPerMove = DateTime.Now;
- rectSource.X += dxLoc * speedFactor;
- rectSource.Y += dyLoc * speedFactor;
- rectSource.Width += dWidth * speedFactor;
- rectSource.Height += dHeight * speedFactor;
- if (Math.Sign(rectTarget.X - rectSource.X) != Math.Sign(dxLoc))
- rectSource.X = rectTarget.X;
- if (Math.Sign(rectTarget.Y - rectSource.Y) != Math.Sign(dyLoc))
- rectSource.Y = rectTarget.Y;
- if (Math.Sign(rectTarget.Width - rectSource.Width) != Math.Sign(dWidth))
- rectSource.Width = rectTarget.Width;
- if (Math.Sign(rectTarget.Height - rectSource.Height) != Math.Sign(dHeight))
- rectSource.Height = rectTarget.Height;
- LayoutAnimateWindow(rectSource);
- if (Parent != null)
- Parent.Update();
- remainPixels -= speedFactor;
- while (true)
- {
- TimeSpan time = new TimeSpan(0, 0, 0, 0, ANIMATE_TIME);
- TimeSpan elapsedPerMove = DateTime.Now - startPerMove;
- TimeSpan elapsedTime = DateTime.Now - startingTime;
- if (((int)((time - elapsedTime).TotalMilliseconds)) <= 0)
- {
- speedFactor = remainPixels;
- break;
- }
- else
- speedFactor = remainPixels * (int)elapsedPerMove.TotalMilliseconds / (int)((time - elapsedTime).TotalMilliseconds);
- if (speedFactor >= 1)
- break;
- }
- }
- ResumeLayout();
- Parent.ResumeLayout();
- }
- private void LayoutAnimateWindow(Rectangle rect)
- {
- Bounds = DockPanel.GetAutoHideWindowBounds(rect);
- Rectangle rectClient = ClientRectangle;
- if (DockState == DockState.DockLeftAutoHide)
- ActivePane.Location = new Point(rectClient.Right - 2 - Measures.SplitterSize - ActivePane.Width, ActivePane.Location.Y);
- else if (DockState == DockState.DockTopAutoHide)
- ActivePane.Location = new Point(ActivePane.Location.X, rectClient.Bottom - 2 - Measures.SplitterSize - ActivePane.Height);
- }
- private Rectangle GetRectangle(bool show)
- {
- if (DockState == DockState.Unknown)
- return Rectangle.Empty;
- Rectangle rect = DockPanel.AutoHideWindowRectangle;
- if (show)
- return rect;
- if (DockState == DockState.DockLeftAutoHide)
- rect.Width = 0;
- else if (DockState == DockState.DockRightAutoHide)
- {
- rect.X += rect.Width;
- rect.Width = 0;
- }
- else if (DockState == DockState.DockTopAutoHide)
- rect.Height = 0;
- else
- {
- rect.Y += rect.Height;
- rect.Height = 0;
- }
- return rect;
- }
- private void SetTimerMouseTrack()
- {
- if (ActivePane == null || ActivePane.IsActivated || FlagDragging)
- {
- m_timerMouseTrack.Enabled = false;
- return;
- }
- // start the timer
- int hovertime = SystemInformation.MouseHoverTime ;
- // assign a default value 400 in case of setting Timer.Interval invalid value exception
- if (hovertime <= 0)
- hovertime = 400;
- m_timerMouseTrack.Interval = 2 * (int)hovertime;
- m_timerMouseTrack.Enabled = true;
- }
- protected virtual Rectangle DisplayingRectangle
- {
- get
- {
- Rectangle rect = ClientRectangle;
- // exclude the border and the splitter
- if (DockState == DockState.DockBottomAutoHide)
- {
- rect.Y += 2 + Measures.SplitterSize;
- rect.Height -= 2 + Measures.SplitterSize;
- }
- else if (DockState == DockState.DockRightAutoHide)
- {
- rect.X += 2 + Measures.SplitterSize;
- rect.Width -= 2 + Measures.SplitterSize;
- }
- else if (DockState == DockState.DockTopAutoHide)
- rect.Height -= 2 + Measures.SplitterSize;
- else if (DockState == DockState.DockLeftAutoHide)
- rect.Width -= 2 + Measures.SplitterSize;
- return rect;
- }
- }
- protected override void OnLayout(LayoutEventArgs levent)
- {
- DockPadding.All = 0;
- if (DockState == DockState.DockLeftAutoHide)
- {
- DockPadding.Right = 2;
- m_splitter.Dock = DockStyle.Right;
- }
- else if (DockState == DockState.DockRightAutoHide)
- {
- DockPadding.Left = 2;
- m_splitter.Dock = DockStyle.Left;
- }
- else if (DockState == DockState.DockTopAutoHide)
- {
- DockPadding.Bottom = 2;
- m_splitter.Dock = DockStyle.Bottom;
- }
- else if (DockState == DockState.DockBottomAutoHide)
- {
- DockPadding.Top = 2;
- m_splitter.Dock = DockStyle.Top;
- }
- Rectangle rectDisplaying = DisplayingRectangle;
- Rectangle rectHidden = new Rectangle(-rectDisplaying.Width, rectDisplaying.Y, rectDisplaying.Width, rectDisplaying.Height);
- foreach (Control c in Controls)
- {
- DockPane pane = c as DockPane;
- if (pane == null)
- continue;
-
-
- if (pane == ActivePane)
- pane.Bounds = rectDisplaying;
- else
- pane.Bounds = rectHidden;
- }
- base.OnLayout(levent);
- }
- protected override void OnPaint(PaintEventArgs e)
- {
- // Draw the border
- Graphics g = e.Graphics;
- if (DockState == DockState.DockBottomAutoHide)
- g.DrawLine(SystemPens.ControlLightLight, 0, 1, ClientRectangle.Right, 1);
- else if (DockState == DockState.DockRightAutoHide)
- g.DrawLine(SystemPens.ControlLightLight, 1, 0, 1, ClientRectangle.Bottom);
- else if (DockState == DockState.DockTopAutoHide)
- {
- g.DrawLine(SystemPens.ControlDark, 0, ClientRectangle.Height - 2, ClientRectangle.Right, ClientRectangle.Height - 2);
- g.DrawLine(SystemPens.ControlDarkDark, 0, ClientRectangle.Height - 1, ClientRectangle.Right, ClientRectangle.Height - 1);
- }
- else if (DockState == DockState.DockLeftAutoHide)
- {
- g.DrawLine(SystemPens.ControlDark, ClientRectangle.Width - 2, 0, ClientRectangle.Width - 2, ClientRectangle.Bottom);
- g.DrawLine(SystemPens.ControlDarkDark, ClientRectangle.Width - 1, 0, ClientRectangle.Width - 1, ClientRectangle.Bottom);
- }
- base.OnPaint(e);
- }
- public void RefreshActiveContent()
- {
- if (ActiveContent == null)
- return;
- if (!DockHelper.IsDockStateAutoHide(ActiveContent.DockHandler.DockState))
- {
- FlagAnimate = false;
- ActiveContent = null;
- FlagAnimate = true;
- }
- }
- public void RefreshActivePane()
- {
- SetTimerMouseTrack();
- }
- private void TimerMouseTrack_Tick(object sender, EventArgs e)
- {
- if (IsDisposed)
- return;
- if (ActivePane == null || ActivePane.IsActivated)
- {
- m_timerMouseTrack.Enabled = false;
- return;
- }
- DockPane pane = ActivePane;
- Point ptMouseInAutoHideWindow = PointToClient(Control.MousePosition);
- Point ptMouseInDockPanel = DockPanel.PointToClient(Control.MousePosition);
- Rectangle rectTabStrip = DockPanel.GetTabStripRectangle(pane.DockState);
- if (!ClientRectangle.Contains(ptMouseInAutoHideWindow) && !rectTabStrip.Contains(ptMouseInDockPanel))
- {
- ActiveContent = null;
- m_timerMouseTrack.Enabled = false;
- }
- }
- #region ISplitterDragSource Members
- void ISplitterDragSource.BeginDrag(Rectangle rectSplitter)
- {
- FlagDragging = true;
- }
- void ISplitterDragSource.EndDrag()
- {
- FlagDragging = false;
- }
- bool ISplitterDragSource.IsVertical
- {
- get { return (DockState == DockState.DockLeftAutoHide || DockState == DockState.DockRightAutoHide); }
- }
- Rectangle ISplitterDragSource.DragLimitBounds
- {
- get
- {
- Rectangle rectLimit = DockPanel.DockArea;
- if ((this as ISplitterDragSource).IsVertical)
- {
- rectLimit.X += MeasurePane.MinSize;
- rectLimit.Width -= 2 * MeasurePane.MinSize;
- }
- else
- {
- rectLimit.Y += MeasurePane.MinSize;
- rectLimit.Height -= 2 * MeasurePane.MinSize;
- }
- return DockPanel.RectangleToScreen(rectLimit);
- }
- }
- void ISplitterDragSource.MoveSplitter(int offset)
- {
- Rectangle rectDockArea = DockPanel.DockArea;
- IDockContent content = ActiveContent;
- if (DockState == DockState.DockLeftAutoHide && rectDockArea.Width > 0)
- {
- if (content.DockHandler.AutoHidePortion < 1)
- content.DockHandler.AutoHidePortion += ((double)offset) / (double)rectDockArea.Width;
- else
- content.DockHandler.AutoHidePortion = Width + offset;
- }
- else if (DockState == DockState.DockRightAutoHide && rectDockArea.Width > 0)
- {
- if (content.DockHandler.AutoHidePortion < 1)
- content.DockHandler.AutoHidePortion -= ((double)offset) / (double)rectDockArea.Width;
- else
- content.DockHandler.AutoHidePortion = Width - offset;
- }
- else if (DockState == DockState.DockBottomAutoHide && rectDockArea.Height > 0)
- {
- if (content.DockHandler.AutoHidePortion < 1)
- content.DockHandler.AutoHidePortion -= ((double)offset) / (double)rectDockArea.Height;
- else
- content.DockHandler.AutoHidePortion = Height - offset;
- }
- else if (DockState == DockState.DockTopAutoHide && rectDockArea.Height > 0)
- {
- if (content.DockHandler.AutoHidePortion < 1)
- content.DockHandler.AutoHidePortion += ((double)offset) / (double)rectDockArea.Height;
- else
- content.DockHandler.AutoHidePortion = Height + offset;
- }
- }
- #region IDragSource Members
- Control IDragSource.DragControl
- {
- get { return this; }
- }
- #endregion
- #endregion
- }
- private AutoHideWindowControl AutoHideWindow
- {
- get { return m_autoHideWindow; }
- }
- internal Control AutoHideControl
- {
- get { return m_autoHideWindow; }
- }
- internal void RefreshActiveAutoHideContent()
- {
- AutoHideWindow.RefreshActiveContent();
- }
- internal Rectangle AutoHideWindowRectangle
- {
- get
- {
- DockState state = AutoHideWindow.DockState;
- Rectangle rectDockArea = DockArea;
- if (ActiveAutoHideContent == null)
- return Rectangle.Empty;
- if (Parent == null)
- return Rectangle.Empty;
- Rectangle rect = Rectangle.Empty;
- double autoHideSize = ActiveAutoHideContent.DockHandler.AutoHidePortion;
- if (state == DockState.DockLeftAutoHide)
- {
- if (autoHideSize < 1)
- autoHideSize = rectDockArea.Width * autoHideSize;
- if (autoHideSize > rectDockArea.Width - MeasurePane.MinSize)
- autoHideSize = rectDockArea.Width - MeasurePane.MinSize;
- rect.X = rectDockArea.X;
- rect.Y = rectDockArea.Y;
- rect.Width = (int)autoHideSize;
- rect.Height = rectDockArea.Height;
- }
- else if (state == DockState.DockRightAutoHide)
- {
- if (autoHideSize < 1)
- autoHideSize = rectDockArea.Width * autoHideSize;
- if (autoHideSize > rectDockArea.Width - MeasurePane.MinSize)
- autoHideSize = rectDockArea.Width - MeasurePane.MinSize;
- rect.X = rectDockArea.X + rectDockArea.Width - (int)autoHideSize;
- rect.Y = rectDockArea.Y;
- rect.Width = (int)autoHideSize;
- rect.Height = rectDockArea.Height;
- }
- else if (state == DockState.DockTopAutoHide)
- {
- if (autoHideSize < 1)
- autoHideSize = rectDockArea.Height * autoHideSize;
- if (autoHideSize > rectDockArea.Height - MeasurePane.MinSize)
- autoHideSize = rectDockArea.Height - MeasurePane.MinSize;
- rect.X = rectDockArea.X;
- rect.Y = rectDockArea.Y;
- rect.Width = rectDockArea.Width;
- rect.Height = (int)autoHideSize;
- }
- else if (state == DockState.DockBottomAutoHide)
- {
- if (autoHideSize < 1)
- autoHideSize = rectDockArea.Height * autoHideSize;
- if (autoHideSize > rectDockArea.Height - MeasurePane.MinSize)
- autoHideSize = rectDockArea.Height - MeasurePane.MinSize;
- rect.X = rectDockArea.X;
- rect.Y = rectDockArea.Y + rectDockArea.Height - (int)autoHideSize;
- rect.Width = rectDockArea.Width;
- rect.Height = (int)autoHideSize;
- }
- return rect;
- }
- }
- internal Rectangle GetAutoHideWindowBounds(Rectangle rectAutoHideWindow)
- {
- if (DocumentStyle == DocumentStyle.SystemMdi ||
- DocumentStyle == DocumentStyle.DockingMdi)
- return (Parent == null) ? Rectangle.Empty : Parent.RectangleToClient(RectangleToScreen(rectAutoHideWindow));
- else
- return rectAutoHideWindow;
- }
- internal void RefreshAutoHideStrip()
- {
- AutoHideStripControl.RefreshChanges();
- }
- }
- }