internal void ResetHotColumn() { if (this.hotColumn != -1) { this.ResetMouseEventArgs(); int oldHotColumn = this.hotColumn; this.hotColumn = -1; this.RaiseHeaderMouseLeave(oldHotColumn); } }