namespace Terminal.Gui; /// Describes a change in public class TabChangedEventArgs : EventArgs { /// Documents a tab change /// /// public TabChangedEventArgs (Tab oldTab, Tab newTab) { OldTab = oldTab; NewTab = newTab; } /// The currently selected tab. May be null public Tab NewTab { get; } /// The previously selected tab. May be null public Tab OldTab { get; } }