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; } }