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