namespace Terminal.Gui; /// for events. public class SliderOptionEventArgs : EventArgs { /// Initializes a new instance of /// indicates whether the option is set public SliderOptionEventArgs (bool isSet) { IsSet = isSet; } /// Gets whether the option is set or not. public bool IsSet { get; } }