void vmsListBox_MouseMove(object sender, MouseEventArgs e)
{
VMListBoxItem item = isOnErrorLabelFor(e.Location);
if (item != null && item.hasSolution())
{
Cursor.Current = Cursors.Hand;
}
else
{
Cursor.Current = Cursors.Default;
}
}
void vmsListBox_MouseDoubleClick(object sender, MouseEventArgs e)
{
VMListBoxItem vmlbi = isOnErrorLabelFor(e.Location);
if (vmlbi == null || !vmlbi.hasSolution())
{
return;
}
AsyncAction a = vmlbi.Solve();
if (a != null)
{
a.Completed += solveActionCompleted;
}
vmsListBox.Refresh();
}