internal void RefreshShowProperties()
{
if (Area == null)
{
section = new BoundingRect(0.0, 0.0, layout.PaperWidth, layout.PaperHeight);
}
else
{
section = Area.Extent;
}
scalingProperty.Refresh();
horPos.Refresh();
verPos.Refresh();
left.Refresh();
bottom.Refresh();
width.Refresh();
height.Refresh();
}
