void LeaveNotifyEventHandler(object o, LeaveNotifyEventArgs args)
 {
     renderer.ClearHighlight();
 }