public override void OnSpacingChanged(WidgetSpacing source)
{
Frame f = (Frame)Parent;
if (source == f.borderWidth)
{
f.Backend.SetBorderSize(source.Left, source.Right, source.Top, source.Bottom);
f.OnPreferredSizeChanged();
}
else if (source == f.padding)
{
f.Backend.SetPadding(source.Left, source.Right, source.Top, source.Bottom);
f.OnPreferredSizeChanged();
}
else
{
base.OnSpacingChanged(source);
}
}
