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;
}
}
private void CalculateDockPadding()
{
DockPadding.All = 0;
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;
}
}
