#nullable enable
namespace Terminal.Gui;
internal class ScrollSlider : View
{
public ScrollSlider (Scroll host)
{
_host = host;
Id = "scrollSlider";
Width = Dim.Auto (DimAutoStyle.Content);
Height = Dim.Auto (DimAutoStyle.Content);
WantMousePositionReports = true;
}
private readonly Scroll _host;
private int _lastLocation = -1;
private ColorScheme? _savedColorScheme;
public void AdjustSlider ()
{
if (!IsInitialized)
{
return;
}
(int Location, int Dimension) sliderLocationAndDimension = GetSliderLocationDimensionFromPosition ();
X = _host.Orientation == Orientation.Vertical ? 0 : sliderLocationAndDimension.Location;
Y = _host.Orientation == Orientation.Vertical ? sliderLocationAndDimension.Location : 0;
SetContentSize (
new (
_host.Orientation == Orientation.Vertical ? _host.GetContentSize ().Width : sliderLocationAndDimension.Dimension,
_host.Orientation == Orientation.Vertical ? sliderLocationAndDimension.Dimension : _host.GetContentSize ().Height
));
SetSliderText ();
}
///
public override Attribute GetNormalColor ()
{
if (_savedColorScheme is null)
{
ColorScheme = new () { Normal = new (_host.ColorScheme.HotNormal.Foreground, _host.ColorScheme.HotNormal.Foreground) };
}
else
{
ColorScheme = new () { Normal = new (_host.ColorScheme.Normal.Foreground, _host.ColorScheme.Normal.Foreground) };
}
return base.GetNormalColor ();
}
///
protected internal override bool? OnMouseEnter (MouseEvent mouseEvent)
{
_savedColorScheme ??= _host.ColorScheme;
ColorScheme = new ()
{
Normal = new (_savedColorScheme.HotNormal.Foreground, _savedColorScheme.HotNormal.Foreground),
Focus = new (_savedColorScheme.Focus.Foreground, _savedColorScheme.Focus.Foreground),
HotNormal = new (_savedColorScheme.Normal.Foreground, _savedColorScheme.Normal.Foreground),
HotFocus = new (_savedColorScheme.HotFocus.Foreground, _savedColorScheme.HotFocus.Foreground),
Disabled = new (_savedColorScheme.Disabled.Foreground, _savedColorScheme.Disabled.Foreground)
};
return base.OnMouseEnter (mouseEvent);
}
///
protected internal override bool OnMouseEvent (MouseEvent mouseEvent)
{
if (!_host._wasSliderLayoutComplete)
{
// Ensure not blocking scroll mouse event
_host._wasSliderLayoutComplete = true;
}
int location = _host.Orientation == Orientation.Vertical ? mouseEvent.Position.Y : mouseEvent.Position.X;
int offset = _lastLocation > -1 ? location - _lastLocation : 0;
int barSize = _host.Orientation == Orientation.Vertical ? _host.GetContentSize ().Height : _host.GetContentSize ().Width;
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))
{
if (_host.Orientation == Orientation.Vertical)
{
Y = Frame.Y + offset < 0 ? 0 :
Frame.Y + offset + Frame.Height > barSize ? Math.Max (barSize - Frame.Height, 0) : Frame.Y + offset;
_host.Position = GetPositionFromSliderLocation (Frame.Y);
}
else
{
X = Frame.X + offset < 0 ? 0 :
Frame.X + offset + Frame.Width > barSize ? Math.Max (barSize - Frame.Width, 0) : Frame.X + offset;
_host.Position = GetPositionFromSliderLocation (Frame.X);
}
}
else if (mouseEvent.Flags == MouseFlags.Button1Released)
{
_lastLocation = -1;
if (Application.MouseGrabView == this)
{
Application.UngrabMouse ();
}
}
else if ((mouseEvent.Flags == MouseFlags.WheeledDown && _host.Orientation == Orientation.Vertical)
|| (mouseEvent.Flags == MouseFlags.WheeledRight && _host.Orientation == Orientation.Horizontal))
{
_host.Position = Math.Min (_host.Position + 1, _host.Size - barSize);
}
else if ((mouseEvent.Flags == MouseFlags.WheeledUp && _host.Orientation == Orientation.Vertical)
|| (mouseEvent.Flags == MouseFlags.WheeledLeft && _host.Orientation == Orientation.Horizontal))
{
_host.Position = Math.Max (_host.Position - 1, 0);
}
else if (mouseEvent.Flags != MouseFlags.ReportMousePosition)
{
return base.OnMouseEvent (mouseEvent);
}
return true;
}
///
protected internal override bool OnMouseLeave (MouseEvent mouseEvent)
{
if (_savedColorScheme is { } && !mouseEvent.Flags.HasFlag (MouseFlags.Button1Pressed))
{
ColorScheme = _savedColorScheme;
_savedColorScheme = null;
}
return base.OnMouseLeave (mouseEvent);
}
internal int GetPositionFromSliderLocation (int location)
{
if (_host.GetContentSize ().Height == 0 || _host.GetContentSize ().Width == 0)
{
return 0;
}
int scrollSize = _host.Orientation == Orientation.Vertical ? _host.GetContentSize ().Height : _host.GetContentSize ().Width;
// Ensure the Position is valid if the slider is at end
// We use Frame here instead of ContentSize because even if the slider has a margin or border, Frame indicates the actual size
if ((_host.Orientation == Orientation.Vertical && location + Frame.Height >= scrollSize)
|| (_host.Orientation == Orientation.Horizontal && location + Frame.Width >= scrollSize))
{
return _host.Size - scrollSize;
}
return (int)Math.Min (Math.Round ((double)(location * _host.Size + location) / scrollSize), _host.Size - scrollSize);
}
internal (int Location, int Dimension) GetSliderLocationDimensionFromPosition ()
{
if (_host.GetContentSize ().Height == 0 || _host.GetContentSize ().Width == 0)
{
return new (0, 0);
}
int scrollSize = _host.Orientation == Orientation.Vertical ? _host.GetContentSize ().Height : _host.GetContentSize ().Width;
int location;
int dimension;
if (_host.Size > 0)
{
dimension = (int)Math.Min (Math.Max (Math.Ceiling ((double)scrollSize * scrollSize / _host.Size), 1), scrollSize);
// Ensure the Position is valid
if (_host.Position > 0 && _host.Position + scrollSize > _host.Size)
{
_host.Position = _host.Size - scrollSize;
}
location = (int)Math.Min (Math.Round ((double)_host.Position * scrollSize / (_host.Size + 1)), scrollSize - dimension);
if (_host.Position == _host.Size - scrollSize && location + dimension < scrollSize)
{
location = scrollSize - dimension;
}
}
else
{
location = 0;
dimension = scrollSize;
}
return new (location, dimension);
}
///
internal override void OnLayoutComplete (LayoutEventArgs args)
{
base.OnLayoutComplete (args);
_host._wasSliderLayoutComplete = true;
}
// TODO: I think you should create a new `internal` view named "ScrollSlider" with an `Orientation` property. It should inherit from View and override GetNormalColor and the mouse events
// that can be moved within it's Superview, constrained to move only horizontally or vertically depending on Orientation.
// This will really simplify a lot of this.
private void SetSliderText ()
{
TextDirection = _host.Orientation == Orientation.Vertical ? TextDirection.TopBottom_LeftRight : TextDirection.LeftRight_TopBottom;
// QUESTION: Should these Glyphs be configurable via CM?
Text = string.Concat (
Enumerable.Repeat (
Glyphs.ContinuousMeterSegment.ToString (),
_host.GetContentSize ().Width * _host.GetContentSize ().Height));
}
}