public override void HandleMouseLeave(EventArgs e) { if (selectedFoldLine != -1) { selectedFoldLine = -1; textArea.Refresh(this); } }