protected void OnMouseLeave(object o, LeaveNotifyEventArgs args)
{
bool changed = false;
if (hoveringIndex != -1) {
this.QueueDrawArea(HoveringX * TileWidth * Scale, HoveringY * TileHeight * Scale,
TileWidth * Scale, TileHeight * Scale);
changed = true;
}
hoveringIndex = -1;
if (changed && HoverChangedEvent != null)
HoverChangedEvent();
}