private void flipDistButton_Click(object sender, EventArgs e)
{
LegFace face = CurrentFace;
if (face == null)
{
return;
}
m_Edits.FlipLegAnnotations(m_CurFaceIndex);
foreach (SpanInfo span in face.Spans)
{
if (span.HasLine)
{
span.ObservedDistance.ToggleIsFlipped();
}
}
m_UpdCmd.ErasePainting();
}