/// <summary>
/// Dispose the (server side) pixmaps used by this area.
/// </summary>
public void DisposePixmaps()
{
if (isAreaRealized == false)
{
return;
}
backPixmap.Dispose();
drawer.DisposePixmaps();
}
