private void listBox_SelectedValueChanged(object sender, EventArgs e)
{
// Get the currently selected line (if any).
m_SelectedLine = GetSelectedLine();
// Ensure stuff gets repainted in idle time
m_UpdCmd.ErasePainting();
}
/// <summary>
/// Recalculates the path after some sort of change, and erases painting so that it can
/// be redrawn in idle time.
/// </summary>
void Rework()
{
// Rework the geometry for the sections on the current leg
var path = new PathInfo(m_pop.StartPoint, m_pop.EndPoint, GetLegs());
m_FaceSections = path.GetSections(CurrentFace);
ShowPrecision(path);
m_UpdCmd.ErasePainting();
}
