Ejemplo n.º 1
0
 void ClearLastHighlight()
 {
     if (lastBug != null)
     {
         lastBug.ClearHighlight();
         lastBug = null;
     }
 }