public override void OnCursorMoved( Vector2 cursorPos )
{
if ( this.isDragging )
{
Vector2 co = Widget.CursorOffset( this.scrollHandle, cursorPos );
Real newTop = this.scrollHandle.Top + co.y - this.dragOffset;
Real lowerBoundary = this.scrollTrack.Height - this.scrollHandle.Height;
this.scrollHandle.Top = Math.Utility.Clamp<Real>( newTop, lowerBoundary, 0 );
// update text area contents based on new scroll percentage
this.scrollPercentage = Math.Utility.Clamp<Real>( newTop / lowerBoundary, 1, 0 );
this.FilterLines();
}
base.OnCursorMoved( cursorPos );
}