123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435 |
- #nullable enable
- using System.ComponentModel;
- namespace Terminal.Gui;
- /// <summary>
- /// The ScrollSlider can be dragged with the mouse, constrained by the size of the Viewport of it's superview. The
- /// ScrollSlider can be
- /// oriented either vertically or horizontally.
- /// </summary>
- /// <remarks>
- /// <para>
- /// Used to represent the proportion of the visible content to the Viewport in a <see cref="Scrolled"/>.
- /// </para>
- /// </remarks>
- public class ScrollSlider : View, IOrientation, IDesignable
- {
- /// <summary>
- /// Initializes a new instance.
- /// </summary>
- public ScrollSlider ()
- {
- Id = "scrollSlider";
- WantMousePositionReports = true;
- _orientationHelper = new (this); // Do not use object initializer!
- _orientationHelper.Orientation = Orientation.Vertical;
- _orientationHelper.OrientationChanging += (sender, e) => OrientationChanging?.Invoke (this, e);
- _orientationHelper.OrientationChanged += (sender, e) => OrientationChanged?.Invoke (this, e);
- OnOrientationChanged (Orientation);
- HighlightStyle = HighlightStyle.Hover;
- }
- #region IOrientation members
- private readonly OrientationHelper _orientationHelper;
- /// <inheritdoc/>
- public Orientation Orientation
- {
- get => _orientationHelper.Orientation;
- set => _orientationHelper.Orientation = value;
- }
- /// <inheritdoc/>
- public event EventHandler<CancelEventArgs<Orientation>>? OrientationChanging;
- /// <inheritdoc/>
- public event EventHandler<EventArgs<Orientation>>? OrientationChanged;
- /// <inheritdoc/>
- public void OnOrientationChanged (Orientation newOrientation)
- {
- TextDirection = Orientation == Orientation.Vertical ? TextDirection.TopBottom_LeftRight : TextDirection.LeftRight_TopBottom;
- TextAlignment = Alignment.Center;
- VerticalTextAlignment = Alignment.Center;
- // Reset Position to 0 when changing orientation
- X = 0;
- Y = 0;
- Position = 0;
- // Reset opposite dim to Dim.Fill ()
- if (Orientation == Orientation.Vertical)
- {
- Height = Width;
- Width = Dim.Fill ();
- }
- else
- {
- Width = Height;
- Height = Dim.Fill ();
- }
- SetNeedsLayout ();
- }
- #endregion
- /// <inheritdoc/>
- protected override bool OnClearingViewport ()
- {
- if (Orientation == Orientation.Vertical)
- {
- FillRect (Viewport with { Height = Size }, Glyphs.ContinuousMeterSegment);
- }
- else
- {
- FillRect (Viewport with { Width = Size }, Glyphs.ContinuousMeterSegment);
- }
- return true;
- }
- private int? _size;
- /// <summary>
- /// Gets or sets the size of the ScrollSlider. This is a helper that gets or sets Width or Height depending
- /// on <see cref="Orientation"/>. The size will be clamped between 1 and the dimension of
- /// the <see cref="View.SuperView"/>'s Viewport.
- /// </summary>
- /// <remarks>
- /// <para>
- /// The dimension of the ScrollSlider that is perpendicular to the <see cref="Orientation"/> will be set to
- /// <see cref="Dim.Fill()"/>
- /// </para>
- /// </remarks>
- public int Size
- {
- get => _size ?? 1;
- set
- {
- if (value == _size)
- {
- return;
- }
- _size = Math.Clamp (value, 1, VisibleContentSize);
- if (Orientation == Orientation.Vertical)
- {
- Height = _size;
- }
- else
- {
- Width = _size;
- }
- SetNeedsLayout ();
- }
- }
- private int? _visibleContentSize;
- /// <summary>
- /// Gets or sets the size of the viewport into the content being scrolled. If not explicitly set, will be the
- /// greater of 1 and the dimension of the <see cref="View.SuperView"/>.
- /// </summary>
- public int VisibleContentSize
- {
- get
- {
- if (_visibleContentSize.HasValue)
- {
- return _visibleContentSize.Value;
- }
- return Math.Max (1, Orientation == Orientation.Vertical ? SuperView?.Viewport.Height ?? 2048 : SuperView?.Viewport.Width ?? 2048);
- }
- set
- {
- if (value == _visibleContentSize)
- {
- return;
- }
- _visibleContentSize = int.Max (1, value);
- if (_position >= _visibleContentSize - _size)
- {
- Position = _position;
- }
- SetNeedsLayout ();
- }
- }
- private int _position;
- /// <summary>
- /// Gets or sets the position of the ScrollSlider relative to the size of the ScrollSlider's Frame.
- /// The position will be constrained such that the ScrollSlider will not go outside the Viewport of
- /// the <see cref="View.SuperView"/>.
- /// </summary>
- public int Position
- {
- get => _position;
- set
- {
- int clampedPosition = ClampPosition (value);
- if (_position == clampedPosition)
- {
- return;
- }
- RaisePositionChangeEvents (clampedPosition);
- SetNeedsLayout ();
- }
- }
- /// <summary>
- /// Moves the scroll slider to the specified position. Does not clamp.
- /// </summary>
- /// <param name="position"></param>
- internal void MoveToPosition (int position)
- {
- if (Orientation == Orientation.Vertical)
- {
- Y = _position + SliderPadding / 2;
- }
- else
- {
- X = _position + SliderPadding / 2;
- }
- }
- /// <summary>
- /// INTERNAL API (for unit tests) - Clamps the position such that the right side of the slider
- /// never goes past the edge of the Viewport.
- /// </summary>
- /// <param name="newPosition"></param>
- /// <returns></returns>
- internal int ClampPosition (int newPosition)
- {
- return Math.Clamp (newPosition, 0, Math.Max (SliderPadding / 2, VisibleContentSize - SliderPadding - Size));
- }
- private void RaisePositionChangeEvents (int newPosition)
- {
- if (OnPositionChanging (_position, newPosition))
- {
- return;
- }
- CancelEventArgs<int> args = new (ref _position, ref newPosition);
- PositionChanging?.Invoke (this, args);
- if (args.Cancel)
- {
- return;
- }
- int distance = newPosition - _position;
- _position = ClampPosition (newPosition);
- MoveToPosition (_position);
- OnPositionChanged (_position);
- PositionChanged?.Invoke (this, new (in _position));
- OnScrolled (distance);
- Scrolled?.Invoke (this, new (in distance));
- RaiseSelecting (new (Command.Select, null, null, distance));
- }
- /// <summary>
- /// Called when <see cref="Position"/> is changing. Return true to cancel the change.
- /// </summary>
- protected virtual bool OnPositionChanging (int currentPos, int newPos) { return false; }
- /// <summary>
- /// Raised when the <see cref="Position"/> is changing. Set <see cref="CancelEventArgs.Cancel"/> to
- /// <see langword="true"/> to prevent the position from being changed.
- /// </summary>
- public event EventHandler<CancelEventArgs<int>>? PositionChanging;
- /// <summary>Called when <see cref="Position"/> has changed.</summary>
- protected virtual void OnPositionChanged (int position) { }
- /// <summary>Raised when the <see cref="Position"/> has changed.</summary>
- public event EventHandler<EventArgs<int>>? PositionChanged;
- /// <summary>Called when <see cref="Position"/> has changed. Indicates how much to scroll.</summary>
- protected virtual void OnScrolled (int distance) { }
- /// <summary>Raised when the <see cref="Position"/> has changed. Indicates how much to scroll.</summary>
- public event EventHandler<EventArgs<int>>? Scrolled;
- /// <inheritdoc/>
- public override Attribute GetNormalColor () { return base.GetHotNormalColor (); }
- ///// <inheritdoc/>
- private int _lastLocation = -1;
- /// <summary>
- /// Gets or sets the amount to pad the start and end of the scroll slider. The default is 0.
- /// </summary>
- /// <remarks>
- /// When the scroll slider is used by <see cref="ScrollBar"/>, which has increment and decrement buttons, the
- /// SliderPadding should be set to the size of the buttons (typically 2).
- /// </remarks>
- public int SliderPadding { get; set; }
- /// <inheritdoc/>
- protected override bool OnMouseEvent (MouseEventArgs mouseEvent)
- {
- if (SuperView is null)
- {
- return false;
- }
- if (mouseEvent.IsSingleDoubleOrTripleClicked)
- {
- return true;
- }
- int location = (Orientation == Orientation.Vertical ? mouseEvent.Position.Y : mouseEvent.Position.X);
- int offsetFromLastLocation = _lastLocation > -1 ? location - _lastLocation : 0;
- int superViewDimension = VisibleContentSize;
- if (mouseEvent.IsPressed || mouseEvent.IsReleased)
- {
- if (mouseEvent.Flags.HasFlag (MouseFlags.Button1Pressed) && _lastLocation == -1)
- {
- if (Application.MouseGrabView != this)
- {
- Application.GrabMouse (this);
- _lastLocation = location;
- }
- }
- else if (mouseEvent.Flags == (MouseFlags.Button1Pressed | MouseFlags.ReportMousePosition))
- {
- int currentLocation;
- if (Orientation == Orientation.Vertical)
- {
- currentLocation = Frame.Y;
- }
- else
- {
- currentLocation = Frame.X;
- }
- currentLocation -= SliderPadding / 2;
- int newLocation = currentLocation + offsetFromLastLocation;
- Position = newLocation;
- }
- else if (mouseEvent.Flags == MouseFlags.Button1Released)
- {
- _lastLocation = -1;
- if (Application.MouseGrabView == this)
- {
- Application.UngrabMouse ();
- }
- }
- return true;
- }
- return false;
- }
- /// <summary>
- /// Gets the slider size.
- /// </summary>
- /// <param name="scrollableContentSize">The size of the content.</param>
- /// <param name="visibleContentSize">The size of the visible content.</param>
- /// <param name="sliderBounds">The bounds of the area the slider moves in (e.g. the size of the <see cref="ScrollBar"/> minus 2).</param>
- public static int CalculateSize (
- int scrollableContentSize,
- int visibleContentSize,
- int sliderBounds
- )
- {
- if (scrollableContentSize <= 0 || sliderBounds <= 0)
- {
- return 1; // Slider must be at least 1
- }
- if (visibleContentSize <= 0 || scrollableContentSize <= visibleContentSize)
- {
- return sliderBounds;
- }
- double sliderSizeD = ((double)visibleContentSize / scrollableContentSize) * sliderBounds;
- int sliderSize = (int)Math.Floor (sliderSizeD);
- return Math.Clamp (sliderSize, 1, sliderBounds);
- }
- /// <summary>
- /// Calculates the slider position.
- /// </summary>
- /// <param name="scrollableContentSize">The size of the content.</param>
- /// <param name="visibleContentSize">The size of the visible content.</param>
- /// <param name="contentPosition">The position in the content (between 0 and <paramref name="scrollableContentSize"/>).</param>
- /// <param name="sliderBounds">The bounds of the area the slider moves in (e.g. the size of the <see cref="ScrollBar"/> minus 2).</param>
- /// <param name="direction">The direction the slider is moving.</param>
- internal static int CalculatePosition (
- int scrollableContentSize,
- int visibleContentSize,
- int contentPosition,
- int sliderBounds,
- NavigationDirection direction
- )
- {
- if (scrollableContentSize - visibleContentSize <= 0 || sliderBounds <= 0)
- {
- return 0;
- }
- int calculatedSliderSize = CalculateSize (scrollableContentSize, visibleContentSize, sliderBounds);
- double newSliderPosition = ((double)contentPosition / (scrollableContentSize - visibleContentSize)) * (sliderBounds - calculatedSliderSize);
- return Math.Clamp ((int)Math.Round (newSliderPosition), 0, sliderBounds - calculatedSliderSize);
- }
- /// <summary>
- /// Calculates the content position.
- /// </summary>
- /// <param name="scrollableContentSize">The size of the content.</param>
- /// <param name="visibleContentSize">The size of the visible content.</param>
- /// <param name="sliderPosition">The position of the slider.</param>
- /// <param name="sliderBounds">The bounds of the area the slider moves in (e.g. the size of the <see cref="ScrollBar"/> minus 2).</param>
- internal static int CalculateContentPosition (
- int scrollableContentSize,
- int visibleContentSize,
- int sliderPosition,
- int sliderBounds
- )
- {
- int sliderSize = CalculateSize (scrollableContentSize, visibleContentSize, sliderBounds);
- double pos = ((double)(sliderPosition) / (sliderBounds - sliderSize)) * (scrollableContentSize - visibleContentSize);
- if (pos is double.NaN)
- {
- return 0;
- }
- double rounded = Math.Ceiling (pos);
- return (int)Math.Clamp (rounded, 0, Math.Max (0, scrollableContentSize - sliderSize));
- }
- /// <inheritdoc/>
- public bool EnableForDesign ()
- {
- Size = 5;
- return true;
- }
- }
|