private void CalculateDockPadding() { DockPadding.Left = Padding.Left; DockPadding.Right = Padding.Right; DockPadding.Top = Padding.Top; DockPadding.Bottom = Padding.Bottom; int height = AutoHideStripControl.MeasureHeight(); if (AutoHideStripControl.GetNumberOfPanes(DockState.DockLeftAutoHide) > 0) { DockPadding.Left = height; } if (AutoHideStripControl.GetNumberOfPanes(DockState.DockRightAutoHide) > 0) { DockPadding.Right = height; } if (AutoHideStripControl.GetNumberOfPanes(DockState.DockTopAutoHide) > 0) { DockPadding.Top = height; } if (AutoHideStripControl.GetNumberOfPanes(DockState.DockBottomAutoHide) > 0) { DockPadding.Bottom = height; } }
private void CalculateDockPadding() { DockPadding.All = Theme.Measures.DockPadding; int standard = AutoHideStripControl.MeasureHeight(); if (AutoHideStripControl.GetNumberOfPanes(DockState.DockLeftAutoHide) > 0) { DockPadding.Left = standard; } if (AutoHideStripControl.GetNumberOfPanes(DockState.DockRightAutoHide) > 0) { DockPadding.Right = standard; } if (AutoHideStripControl.GetNumberOfPanes(DockState.DockTopAutoHide) > 0) { DockPadding.Top = standard; } if (AutoHideStripControl.GetNumberOfPanes(DockState.DockBottomAutoHide) > 0) { DockPadding.Bottom = standard; } }