private void SetHeaderStyle(ViewDrawDocker drawDocker,
PaletteTripleMetricRedirect palette,
HeaderStyle style)
{
palette.SetStyles(style);
switch (style)
{
case HeaderStyle.Primary:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetPrimary,
PaletteMetricPadding.HeaderButtonPaddingPrimary);
break;
case HeaderStyle.Secondary:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetSecondary,
PaletteMetricPadding.HeaderButtonPaddingSecondary);
break;
case HeaderStyle.DockActive:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetDockActive,
PaletteMetricPadding.HeaderButtonPaddingDockActive);
break;
case HeaderStyle.DockInactive:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetDockInactive,
PaletteMetricPadding.HeaderButtonPaddingDockInactive);
break;
case HeaderStyle.Form:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetForm,
PaletteMetricPadding.HeaderButtonPaddingForm);
break;
case HeaderStyle.Calendar:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetCalendar,
PaletteMetricPadding.HeaderButtonPaddingCalendar);
break;
case HeaderStyle.Custom1:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetCustom1,
PaletteMetricPadding.HeaderButtonPaddingCustom1);
break;
case HeaderStyle.Custom2:
_buttonManager.SetDockerMetrics(drawDocker, palette,
PaletteMetricInt.HeaderButtonEdgeInsetCustom2,
PaletteMetricPadding.HeaderButtonPaddingCustom2);
break;
default:
// Should never happen!
Debug.Assert(false);
break;
}
}
