123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389 |
- using System.Diagnostics;
- namespace Terminal.Gui;
- /// <summary>Control that hosts multiple sub views, presenting a single one at once.</summary>
- public class TabView : View
- {
- /// <summary>The default <see cref="MaxTabTextWidth"/> to set on new <see cref="TabView"/> controls.</summary>
- public const uint DefaultMaxTabTextWidth = 30;
- /// <summary>
- /// This sub view is the main client area of the current tab. It hosts the <see cref="Tab.View"/> of the tab, the
- /// <see cref="SelectedTab"/>.
- /// </summary>
- private readonly View _contentView;
- private readonly List<Tab> _tabs = new ();
- /// <summary>This sub view is the 2 or 3 line control that represents the actual tabs themselves.</summary>
- private readonly TabRowView _tabsBar;
- private Tab _selectedTab;
- private TabToRender [] _tabLocations;
- private int _tabScrollOffset;
- /// <summary>Initializes a <see cref="TabView"/> class.</summary>
- public TabView ()
- {
- CanFocus = true;
- TabStop = TabBehavior.TabStop; // Because TabView has focusable subviews, it must be a TabGroup
- _tabsBar = new TabRowView (this);
- _contentView = new View ()
- {
- //Id = "TabView._contentView",
- };
- ApplyStyleChanges ();
- base.Add (_tabsBar);
- base.Add (_contentView);
- // Things this view knows how to do
- AddCommand (Command.Left, () => SwitchTabBy (-1));
- AddCommand (Command.Right, () => SwitchTabBy (1));
- AddCommand (
- Command.LeftStart,
- () =>
- {
- TabScrollOffset = 0;
- SelectedTab = Tabs.FirstOrDefault ();
- return true;
- }
- );
- AddCommand (
- Command.RightEnd,
- () =>
- {
- TabScrollOffset = Tabs.Count - 1;
- SelectedTab = Tabs.LastOrDefault ();
- return true;
- }
- );
- AddCommand (
- Command.PageDown,
- () =>
- {
- TabScrollOffset += _tabLocations.Length;
- SelectedTab = Tabs.ElementAt (TabScrollOffset);
- return true;
- }
- );
- AddCommand (
- Command.PageUp,
- () =>
- {
- TabScrollOffset -= _tabLocations.Length;
- SelectedTab = Tabs.ElementAt (TabScrollOffset);
- return true;
- }
- );
- // Default keybindings for this view
- KeyBindings.Add (Key.CursorLeft, Command.Left);
- KeyBindings.Add (Key.CursorRight, Command.Right);
- KeyBindings.Add (Key.Home, Command.LeftStart);
- KeyBindings.Add (Key.End, Command.RightEnd);
- KeyBindings.Add (Key.PageDown, Command.PageDown);
- KeyBindings.Add (Key.PageUp, Command.PageUp);
- }
- /// <summary>
- /// The maximum number of characters to render in a Tab header. This prevents one long tab from pushing out all
- /// the others.
- /// </summary>
- public uint MaxTabTextWidth { get; set; } = DefaultMaxTabTextWidth;
- /// <summary>The currently selected member of <see cref="Tabs"/> chosen by the user.</summary>
- /// <value></value>
- public Tab SelectedTab
- {
- get => _selectedTab;
- set
- {
- UnSetCurrentTabs ();
- Tab old = _selectedTab;
- if (_selectedTab is { })
- {
- if (_selectedTab.View is { })
- {
- // remove old content
- _contentView.Remove (_selectedTab.View);
- }
- }
- _selectedTab = value;
- if (value is { })
- {
- // add new content
- if (_selectedTab.View is { })
- {
- _contentView.Add (_selectedTab.View);
- // _contentView.Id = $"_contentView for {_selectedTab.DisplayText}";
- }
- }
- _contentView.CanFocus = _contentView.Subviews.Count (v => v.CanFocus) > 0;
- EnsureSelectedTabIsVisible ();
- if (old != value)
- {
- if (old?.HasFocus == true)
- {
- SelectedTab?.SetFocus ();
- }
- OnSelectedTabChanged (old, value);
- }
- SetNeedsLayout ();
- }
- }
- private TabStyle _style = new ();
- /// <summary>Render choices for how to display tabs. After making changes, call <see cref="ApplyStyleChanges()"/>.</summary>
- /// <value></value>
- public TabStyle Style
- {
- get => _style;
- set
- {
- if (_style == value)
- {
- return;
- }
- _style = value;
- SetNeedsLayout ();
- }
- }
- /// <summary>All tabs currently hosted by the control.</summary>
- /// <value></value>
- public IReadOnlyCollection<Tab> Tabs => _tabs.AsReadOnly ();
- /// <summary>When there are too many tabs to render, this indicates the first tab to render on the screen.</summary>
- /// <value></value>
- public int TabScrollOffset
- {
- get => _tabScrollOffset;
- set
- {
- _tabScrollOffset = EnsureValidScrollOffsets (value);
- SetNeedsLayout ();
- }
- }
- /// <summary>Adds the given <paramref name="tab"/> to <see cref="Tabs"/>.</summary>
- /// <param name="tab"></param>
- /// <param name="andSelect">True to make the newly added Tab the <see cref="SelectedTab"/>.</param>
- public void AddTab (Tab tab, bool andSelect)
- {
- if (_tabs.Contains (tab))
- {
- return;
- }
- _tabs.Add (tab);
- _tabsBar.Add (tab);
- if (SelectedTab is null || andSelect)
- {
- SelectedTab = tab;
- EnsureSelectedTabIsVisible ();
- tab.View?.SetFocus ();
- }
- SetNeedsLayout ();
- }
- /// <summary>
- /// Updates the control to use the latest state settings in <see cref="Style"/>. This can change the size of the
- /// client area of the tab (for rendering the selected tab's content). This method includes a call to
- /// <see cref="View.SetNeedsDisplay()"/>.
- /// </summary>
- public void ApplyStyleChanges ()
- {
- _contentView.BorderStyle = Style.ShowBorder ? LineStyle.Single : LineStyle.None;
- _contentView.Width = Dim.Fill ();
- if (Style.TabsOnBottom)
- {
- // Tabs are along the bottom so just dodge the border
- if (Style.ShowBorder)
- {
- _contentView.Border.Thickness = new Thickness (1, 1, 1, 0);
- }
- _contentView.Y = 0;
- int tabHeight = GetTabHeight (false);
- // Fill client area leaving space at bottom for tabs
- _contentView.Height = Dim.Fill (tabHeight);
- _tabsBar.Height = tabHeight;
- _tabsBar.Y = Pos.Bottom (_contentView);
- }
- else
- {
- // Tabs are along the top
- if (Style.ShowBorder)
- {
- _contentView.Border.Thickness = new Thickness (1, 0, 1, 1);
- }
- _tabsBar.Y = 0;
- int tabHeight = GetTabHeight (true);
- //move content down to make space for tabs
- _contentView.Y = Pos.Bottom (_tabsBar);
- // Fill client area leaving space at bottom for border
- _contentView.Height = Dim.Fill ();
- // The top tab should be 2 or 3 rows high and on the top
- _tabsBar.Height = tabHeight;
- // Should be able to just use 0 but switching between top/bottom tabs repeatedly breaks in ValidatePosDim if just using the absolute value 0
- }
- SetNeedsLayout ();
- }
- /// <summary>Updates <see cref="TabScrollOffset"/> to ensure that <see cref="SelectedTab"/> is visible.</summary>
- public void EnsureSelectedTabIsVisible ()
- {
- if (!IsInitialized || SelectedTab is null)
- {
- return;
- }
- // if current viewport does not include the selected tab
- if (!CalculateViewport (Viewport).Any (r => Equals (SelectedTab, r.Tab)))
- {
- // Set scroll offset so the first tab rendered is the
- TabScrollOffset = Math.Max (0, Tabs.IndexOf (SelectedTab));
- }
- }
- /// <summary>Updates <see cref="TabScrollOffset"/> to be a valid index of <see cref="Tabs"/>.</summary>
- /// <param name="value">The value to validate.</param>
- /// <remarks>Changes will not be immediately visible in the display until you call <see cref="View.SetNeedsDisplay()"/>.</remarks>
- /// <returns>The valid <see cref="TabScrollOffset"/> for the given value.</returns>
- public int EnsureValidScrollOffsets (int value) { return Math.Max (Math.Min (value, Tabs.Count - 1), 0); }
- /// <inheritdoc/>
- protected override bool OnDrawingContent (Rectangle viewport)
- {
- if (Tabs.Any ())
- {
- Rectangle savedClip = SetClip ();
- _tabsBar.Draw ();
- _contentView.SetNeedsDisplay ();
- _contentView.Draw ();
- if (Driver is { })
- {
- Driver.Clip = savedClip;
- }
- }
- return true;
- }
- /// <summary>
- /// Removes the given <paramref name="tab"/> from <see cref="Tabs"/>. Caller is responsible for disposing the
- /// tab's hosted <see cref="Tab.View"/> if appropriate.
- /// </summary>
- /// <param name="tab"></param>
- public void RemoveTab (Tab tab)
- {
- if (tab is null || !_tabs.Contains (tab))
- {
- return;
- }
- // what tab was selected before closing
- int idx = _tabs.IndexOf (tab);
- _tabs.Remove (tab);
- // if the currently selected tab is no longer a member of Tabs
- if (SelectedTab is null || !Tabs.Contains (SelectedTab))
- {
- // select the tab closest to the one that disappeared
- int toSelect = Math.Max (idx - 1, 0);
- if (toSelect < Tabs.Count)
- {
- SelectedTab = Tabs.ElementAt (toSelect);
- }
- else
- {
- SelectedTab = Tabs.LastOrDefault ();
- }
- }
- EnsureSelectedTabIsVisible ();
- SetNeedsLayout ();
- }
- /// <summary>Event for when <see cref="SelectedTab"/> changes.</summary>
- public event EventHandler<TabChangedEventArgs> SelectedTabChanged;
- /// <summary>
- /// Changes the <see cref="SelectedTab"/> by the given <paramref name="amount"/>. Positive for right, negative for
- /// left. If no tab is currently selected then the first tab will become selected.
- /// </summary>
- /// <param name="amount"></param>
- public bool SwitchTabBy (int amount)
- {
- if (Tabs.Count == 0)
- {
- return false;
- }
- // if there is only one tab anyway or nothing is selected
- if (Tabs.Count == 1 || SelectedTab is null)
- {
- SelectedTab = Tabs.ElementAt (0);
- return SelectedTab is { };
- }
- int currentIdx = Tabs.IndexOf (SelectedTab);
- // Currently selected tab has vanished!
- if (currentIdx == -1)
- {
- SelectedTab = Tabs.ElementAt (0);
- return true;
- }
- int newIdx = Math.Max (0, Math.Min (currentIdx + amount, Tabs.Count - 1));
- if (newIdx == currentIdx)
- {
- return false;
- }
- SelectedTab = _tabs [newIdx];
- EnsureSelectedTabIsVisible ();
- return true;
- }
- /// <summary>
- /// Event fired when a <see cref="Tab"/> is clicked. Can be used to cancel navigation, show context menu (e.g. on
- /// right click) etc.
- /// </summary>
- public event EventHandler<TabMouseEventArgs> TabClicked;
- /// <summary>Disposes the control and all <see cref="Tabs"/>.</summary>
- /// <param name="disposing"></param>
- protected override void Dispose (bool disposing)
- {
- base.Dispose (disposing);
- // The selected tab will automatically be disposed but
- // any tabs not visible will need to be manually disposed
- foreach (Tab tab in Tabs)
- {
- if (!Equals (SelectedTab, tab))
- {
- tab.View?.Dispose ();
- }
- }
- }
- /// <summary>Raises the <see cref="SelectedTabChanged"/> event.</summary>
- protected virtual void OnSelectedTabChanged (Tab oldTab, Tab newTab)
- {
- SelectedTabChanged?.Invoke (this, new TabChangedEventArgs (oldTab, newTab));
- }
- /// <summary>Returns which tabs to render at each x location.</summary>
- /// <returns></returns>
- private IEnumerable<TabToRender> CalculateViewport (Rectangle bounds)
- {
- UnSetCurrentTabs ();
- var i = 1;
- View prevTab = null;
- // Starting at the first or scrolled to tab
- foreach (Tab tab in Tabs.Skip (TabScrollOffset))
- {
- if (prevTab is { })
- {
- tab.X = Pos.Right (prevTab);
- }
- else
- {
- tab.X = 0;
- }
- tab.Y = 0;
- // while there is space for the tab
- int tabTextWidth = tab.DisplayText.EnumerateRunes ().Sum (c => c.GetColumns ());
- string text = tab.DisplayText;
- // The maximum number of characters to use for the tab name as specified
- // by the user (MaxTabTextWidth). But not more than the width of the view
- // or we won't even be able to render a single tab!
- long maxWidth = Math.Max (0, Math.Min (bounds.Width - 3, MaxTabTextWidth));
- prevTab = tab;
- tab.Width = 2;
- tab.Height = Style.ShowTopLine ? 3 : 2;
- // if tab view is width <= 3 don't render any tabs
- if (maxWidth == 0)
- {
- tab.Visible = true;
- tab.MouseClick += Tab_MouseClick;
- yield return new TabToRender (i, tab, string.Empty, Equals (SelectedTab, tab), 0);
- break;
- }
- if (tabTextWidth > maxWidth)
- {
- text = tab.DisplayText.Substring (0, (int)maxWidth);
- tabTextWidth = (int)maxWidth;
- }
- tab.Width = Math.Max (tabTextWidth + 2, 1);
- tab.Height = Style.ShowTopLine ? 3 : 2;
- // if there is not enough space for this tab
- if (i + tabTextWidth >= bounds.Width)
- {
- tab.Visible = false;
- break;
- }
- // there is enough space!
- tab.Visible = true;
- tab.MouseClick += Tab_MouseClick;
- yield return new TabToRender (i, tab, text, Equals (SelectedTab, tab), tabTextWidth);
- i += tabTextWidth + 1;
- }
- }
- /// <summary>
- /// Returns the number of rows occupied by rendering the tabs, this depends on <see cref="TabStyle.ShowTopLine"/>
- /// and can be 0 (e.g. if <see cref="TabStyle.TabsOnBottom"/> and you ask for <paramref name="top"/>).
- /// </summary>
- /// <param name="top">True to measure the space required at the top of the control, false to measure space at the bottom.</param>
- /// .
- /// <returns></returns>
- private int GetTabHeight (bool top)
- {
- if (top && Style.TabsOnBottom)
- {
- return 0;
- }
- if (!top && !Style.TabsOnBottom)
- {
- return 0;
- }
- return Style.ShowTopLine ? 3 : 2;
- }
- private void Tab_MouseClick (object sender, MouseEventArgs e)
- {
- e.Handled = _tabsBar.NewMouseEvent (e) == true;
- }
- private void UnSetCurrentTabs ()
- {
- if (_tabLocations is { })
- {
- foreach (TabToRender tabToRender in _tabLocations)
- {
- tabToRender.Tab.MouseClick -= Tab_MouseClick;
- tabToRender.Tab.Visible = false;
- }
- _tabLocations = null;
- }
- }
- /// <summary>Raises the <see cref="TabClicked"/> event.</summary>
- /// <param name="tabMouseEventArgs"></param>
- private protected virtual void OnTabClicked (TabMouseEventArgs tabMouseEventArgs) { TabClicked?.Invoke (this, tabMouseEventArgs); }
- private class TabRowView : View
- {
- private readonly TabView _host;
- private readonly View _leftScrollIndicator;
- private readonly View _rightScrollIndicator;
- public TabRowView (TabView host)
- {
- _host = host;
- Id = "tabRowView";
- CanFocus = true;
- Height = 1; // BUGBUG: Views should avoid setting Height as doing so implies Frame.Size == GetContentSize ().
- Width = Dim.Fill ();
- _rightScrollIndicator = new View
- {
- Id = "rightScrollIndicator",
- Width = 1,
- Height = 1,
- Visible = false,
- Text = Glyphs.RightArrow.ToString ()
- };
- _rightScrollIndicator.MouseClick += _host.Tab_MouseClick;
- _leftScrollIndicator = new View
- {
- Id = "leftScrollIndicator",
- Width = 1,
- Height = 1,
- Visible = false,
- Text = Glyphs.LeftArrow.ToString ()
- };
- _leftScrollIndicator.MouseClick += _host.Tab_MouseClick;
- Add (_rightScrollIndicator, _leftScrollIndicator);
- }
- protected override bool OnMouseEvent (MouseEventArgs me)
- {
- Tab hit = me.View is Tab ? (Tab)me.View : null;
- if (me.IsSingleClicked)
- {
- _host.OnTabClicked (new TabMouseEventArgs (hit, me));
- // user canceled click
- if (me.Handled)
- {
- return true;
- }
- }
- if (!me.IsSingleDoubleOrTripleClicked)
- {
- return false;
- }
- if (!HasFocus && CanFocus)
- {
- SetFocus ();
- }
- if (me.IsSingleDoubleOrTripleClicked)
- {
- var scrollIndicatorHit = 0;
- if (me.View is { } && me.View.Id == "rightScrollIndicator")
- {
- scrollIndicatorHit = 1;
- }
- else if (me.View is { } && me.View.Id == "leftScrollIndicator")
- {
- scrollIndicatorHit = -1;
- }
- if (scrollIndicatorHit != 0)
- {
- _host.SwitchTabBy (scrollIndicatorHit);
- SetNeedsLayout ();
- return true;
- }
- if (hit is { })
- {
- _host.SelectedTab = hit;
- SetNeedsLayout ();
- return true;
- }
- }
- return false;
- }
- /// <inheritdoc />
- protected override bool OnClearingViewport (Rectangle viewport)
- {
- // clear any old text
- ClearViewport ();
- return true;
- }
- protected override bool OnDrawingContent (Rectangle viewport)
- {
- _host._tabLocations = _host.CalculateViewport (Viewport).ToArray ();
- RenderTabLine ();
- RenderUnderline ();
- Driver?.SetAttribute (HasFocus ? GetFocusColor () : GetNormalColor ());
- return true;
- }
- protected override bool OnDrawComplete (Rectangle viewport)
- {
- if (_host._tabLocations is null)
- {
- return true;
- }
- TabToRender [] tabLocations = _host._tabLocations;
- int selectedTab = -1;
- for (var i = 0; i < tabLocations.Length; i++)
- {
- View tab = tabLocations [i].Tab;
- Rectangle vts = tab.ViewportToScreen (tab.Viewport);
- var lc = new LineCanvas ();
- int selectedOffset = _host.Style.ShowTopLine && tabLocations [i].IsSelected ? 0 : 1;
- if (tabLocations [i].IsSelected)
- {
- selectedTab = i;
- if (i == 0 && _host.TabScrollOffset == 0)
- {
- if (_host.Style.TabsOnBottom)
- {
- // Upper left vertical line
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- }
- else
- {
- // Lower left vertical line
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom - selectedOffset),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- }
- }
- else if (i > 0 && i <= tabLocations.Length - 1)
- {
- if (_host.Style.TabsOnBottom)
- {
- // URCorner
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- -1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- // LRCorner
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom - selectedOffset),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom - selectedOffset),
- -1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- if (_host.Style.ShowTopLine)
- {
- if (_host.Style.TabsOnBottom)
- {
- // Lower left tee
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- // Upper left tee
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- }
- if (i < tabLocations.Length - 1)
- {
- if (_host.Style.ShowTopLine)
- {
- if (_host.Style.TabsOnBottom)
- {
- // Lower right tee
- lc.AddLine (
- new Point (vts.Right, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Bottom),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- // Upper right tee
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- }
- if (_host.Style.TabsOnBottom)
- {
- //URCorner
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- //LLCorner
- lc.AddLine (
- new Point (vts.Right, vts.Bottom - selectedOffset),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Bottom - selectedOffset),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- else if (selectedTab == -1)
- {
- if (i == 0 && string.IsNullOrEmpty (tab.Text))
- {
- if (_host.Style.TabsOnBottom)
- {
- if (_host.Style.ShowTopLine)
- {
- // LLCorner
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- // ULCorner
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- if (_host.Style.ShowTopLine)
- {
- // ULCorner
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- // LLCorner
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- else if (i > 0)
- {
- if (_host.Style.ShowTopLine || _host.Style.TabsOnBottom)
- {
- // Upper left tee
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- // Lower left tee
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- else if (i < tabLocations.Length - 1)
- {
- if (_host.Style.ShowTopLine)
- {
- // Upper right tee
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- if (_host.Style.ShowTopLine || !_host.Style.TabsOnBottom)
- {
- // Lower right tee
- lc.AddLine (
- new Point (vts.Right, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Bottom),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- // Upper right tee
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- if (i == 0 && i != selectedTab && _host.TabScrollOffset == 0 && _host.Style.ShowBorder)
- {
- if (_host.Style.TabsOnBottom)
- {
- // Upper left vertical line
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 0,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Y - 1),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- // Lower left vertical line
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- 0,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.X - 1, vts.Bottom),
- 1,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- if (i == tabLocations.Length - 1 && i != selectedTab)
- {
- if (_host.Style.TabsOnBottom)
- {
- // Upper right tee
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Y - 1),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- // Lower right tee
- lc.AddLine (
- new Point (vts.Right, vts.Bottom),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- lc.AddLine (
- new Point (vts.Right, vts.Bottom),
- 0,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- if (i == tabLocations.Length - 1)
- {
- var arrowOffset = 1;
- int lastSelectedTab = !_host.Style.ShowTopLine && i == selectedTab ? 1 :
- _host.Style.TabsOnBottom ? 1 : 0;
- Rectangle tabsBarVts = ViewportToScreen (Viewport);
- int lineLength = tabsBarVts.Right - vts.Right;
- // Right horizontal line
- if (ShouldDrawRightScrollIndicator ())
- {
- if (lineLength - arrowOffset > 0)
- {
- if (_host.Style.TabsOnBottom)
- {
- lc.AddLine (
- new Point (vts.Right, vts.Y - lastSelectedTab),
- lineLength - arrowOffset,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- lc.AddLine (
- new Point (
- vts.Right,
- vts.Bottom - lastSelectedTab
- ),
- lineLength - arrowOffset,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- }
- }
- else
- {
- if (_host.Style.TabsOnBottom)
- {
- lc.AddLine (
- new Point (vts.Right, vts.Y - lastSelectedTab),
- lineLength,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- else
- {
- lc.AddLine (
- new Point (vts.Right, vts.Bottom - lastSelectedTab),
- lineLength,
- Orientation.Horizontal,
- tab.BorderStyle
- );
- }
- if (_host.Style.ShowBorder)
- {
- if (_host.Style.TabsOnBottom)
- {
- // More LRCorner
- lc.AddLine (
- new Point (
- tabsBarVts.Right - 1,
- vts.Y - lastSelectedTab
- ),
- -1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- }
- else
- {
- // More URCorner
- lc.AddLine (
- new Point (
- tabsBarVts.Right - 1,
- vts.Bottom - lastSelectedTab
- ),
- 1,
- Orientation.Vertical,
- tab.BorderStyle
- );
- }
- }
- }
- }
- tab.LineCanvas.Merge (lc);
- tab.DoDrawAdornments ();
- }
- return true;
- }
- private int GetUnderlineYPosition ()
- {
- if (_host.Style.TabsOnBottom)
- {
- return 0;
- }
- return _host.Style.ShowTopLine ? 2 : 1;
- }
- /// <summary>Renders the line with the tab names in it.</summary>
- private void RenderTabLine ()
- {
- TabToRender [] tabLocations = _host._tabLocations;
- int y;
- if (_host.Style.TabsOnBottom)
- {
- y = 1;
- }
- else
- {
- y = _host.Style.ShowTopLine ? 1 : 0;
- }
- View selected = null;
- int topLine = _host.Style.ShowTopLine ? 1 : 0;
- int width = Viewport.Width;
- foreach (TabToRender toRender in tabLocations)
- {
- Tab tab = toRender.Tab;
- if (toRender.IsSelected)
- {
- selected = tab;
- if (_host.Style.TabsOnBottom)
- {
- tab.Border.Thickness = new Thickness (1, 0, 1, topLine);
- tab.Margin.Thickness = new Thickness (0, 1, 0, 0);
- }
- else
- {
- tab.Border.Thickness = new Thickness (1, topLine, 1, 0);
- tab.Margin.Thickness = new Thickness (0, 0, 0, topLine);
- }
- }
- else if (selected is null)
- {
- if (_host.Style.TabsOnBottom)
- {
- tab.Border.Thickness = new Thickness (1, 1, 0, topLine);
- tab.Margin.Thickness = new Thickness (0, 0, 0, 0);
- }
- else
- {
- tab.Border.Thickness = new Thickness (1, topLine, 0, 1);
- tab.Margin.Thickness = new Thickness (0, 0, 0, 0);
- }
- tab.Width = Math.Max (tab.Width.GetAnchor (0) - 1, 1);
- }
- else
- {
- if (_host.Style.TabsOnBottom)
- {
- tab.Border.Thickness = new Thickness (0, 1, 1, topLine);
- tab.Margin.Thickness = new Thickness (0, 0, 0, 0);
- }
- else
- {
- tab.Border.Thickness = new Thickness (0, topLine, 1, 1);
- tab.Margin.Thickness = new Thickness (0, 0, 0, 0);
- }
- tab.Width = Math.Max (tab.Width.GetAnchor (0) - 1, 1);
- }
- tab.Text = toRender.TextToRender;
- // BUGBUG: Layout should only be called from Mainloop iteration!
- Layout ();
- tab.DoDrawAdornments ();
- Attribute prevAttr = Driver?.GetAttribute () ?? Attribute.Default;
- // if tab is the selected one and focus is inside this control
- if (toRender.IsSelected && _host.HasFocus)
- {
- if (_host.Focused == this)
- {
- // if focus is the tab bar itself then show that they can switch tabs
- prevAttr = ColorScheme.HotFocus;
- }
- else
- {
- // Focus is inside the tab
- prevAttr = ColorScheme.HotNormal;
- }
- }
- tab.TextFormatter.Draw (
- tab.ViewportToScreen (tab.Viewport),
- prevAttr,
- ColorScheme.HotNormal
- );
- tab.DoDrawAdornments ();
- Driver?.SetAttribute (GetNormalColor ());
- }
- }
- /// <summary>Renders the line of the tab that adjoins the content of the tab.</summary>
- private void RenderUnderline ()
- {
- int y = GetUnderlineYPosition ();
- TabToRender selected = _host._tabLocations.FirstOrDefault (t => t.IsSelected);
- if (selected is null)
- {
- return;
- }
- // draw scroll indicators
- // if there are more tabs to the left not visible
- if (_host.TabScrollOffset > 0)
- {
- _leftScrollIndicator.X = 0;
- _leftScrollIndicator.Y = y;
- // indicate that
- _leftScrollIndicator.Visible = true;
- // Ensures this is clicked instead of the first tab
- MoveSubviewToEnd (_leftScrollIndicator);
- _leftScrollIndicator.Draw ();
- }
- else
- {
- _leftScrollIndicator.Visible = false;
- }
- // if there are more tabs to the right not visible
- if (ShouldDrawRightScrollIndicator ())
- {
- _rightScrollIndicator.X = Viewport.Width - 1;
- _rightScrollIndicator.Y = y;
- // indicate that
- _rightScrollIndicator.Visible = true;
- // Ensures this is clicked instead of the last tab if under this
- MoveSubviewToStart (_rightScrollIndicator);
- _rightScrollIndicator.Draw ();
- }
- else
- {
- _rightScrollIndicator.Visible = false;
- }
- }
- private bool ShouldDrawRightScrollIndicator () { return _host._tabLocations.LastOrDefault ()?.Tab != _host.Tabs.LastOrDefault (); }
- }
- private class TabToRender
- {
- public TabToRender (int x, Tab tab, string textToRender, bool isSelected, int width)
- {
- X = x;
- Tab = tab;
- IsSelected = isSelected;
- Width = width;
- TextToRender = textToRender;
- }
- /// <summary>True if the tab that is being rendered is the selected one.</summary>
- /// <value></value>
- public bool IsSelected { get; }
- public Tab Tab { get; }
- public string TextToRender { get; }
- public int Width { get; }
- public int X { get; set; }
- }
- }
|