namespace Terminal.Gui;
/// Describes a change in
public class TabChangedEventArgs : EventArgs
{
/// Documents a tab change
///
///
public TabChangedEventArgs (int? oldTabIndex, int? newTabIndex)
{
OldTabIndex = oldTabIndex;
NewTabIndex = newTabIndex;
}
/// The currently selected tab.
public int? NewTabIndex { get; }
/// The previously selected tab.
public int? OldTabIndex{ get; }
}