using System.Diagnostics; using static Terminal.Gui.FakeDriver; namespace Terminal.Gui; public partial class View // Focus and cross-view navigation management (TabStop, TabIndex, etc...) { // BUGBUG: This is a poor API design. Automatic behavior like this is non-obvious and should be avoided. Instead, callers to Add should be explicit about what they want. // Set to true in Add() to indicate that the view being added to a SuperView has CanFocus=true. // Makes it so CanFocus will update the SuperView's CanFocus property. internal bool _addingViewSoCanFocusAlsoUpdatesSuperView; private NavigationDirection _focusDirection; private bool _hasFocus; // Used to cache CanFocus on subviews when CanFocus is set to false so that it can be restored when CanFocus is changed back to true private bool _oldCanFocus; private bool _canFocus; /// /// Advances the focus to the next or previous view in , based on /// . /// itself. /// /// /// /// If there is no next/previous view, the focus is set to the view itself. /// /// /// /// If will advance into ... /// /// if focus was changed to another subview (or stayed on this one), /// otherwise. /// public bool AdvanceFocus (NavigationDirection direction, TabBehavior? behavior) { if (!CanBeVisible (this)) { return false; } FocusDirection = direction; if (TabIndexes is null || TabIndexes.Count == 0) { return false; } if (Focused is null) { switch (direction) { case NavigationDirection.Forward: FocusFirst (behavior); break; case NavigationDirection.Backward: FocusLast (behavior); break; default: throw new ArgumentOutOfRangeException (nameof (direction), direction, null); } return Focused is { }; } if (Focused is { }) { if (Focused.AdvanceFocus (direction, behavior)) { return true; } } var index = GetScopedTabIndexes (behavior, direction); if (index.Length == 0) { return false; } var focusedIndex = index.IndexOf (Focused); int next = 0; if (focusedIndex < index.Length - 1) { next = focusedIndex + 1; } else { // focusedIndex is at end of list. If we are going backwards,... if (behavior == TabStop) { // Go up the hierarchy // Leave Focused.SetHasFocus (false, this); // Signal that nothing is focused, and callers should try a peer-subview Focused = null; return false; } // Wrap around //if (SuperView is {}) //{ // if (direction == NavigationDirection.Forward) // { // return false; // } // else // { // return false; // //SuperView.FocusFirst (groupOnly); // } // return true; //} //next = index.Length - 1; } View view = index [next]; // The subview does not have focus, but at least one other that can. Can this one be focused? if (view.CanFocus && view.Visible && view.Enabled) { // Make Focused Leave Focused.SetHasFocus (false, view); switch (direction) { case NavigationDirection.Forward: view.FocusFirst (TabBehavior.TabStop); break; case NavigationDirection.Backward: view.FocusLast (TabBehavior.TabStop); break; } SetFocus (view); return true; } if (Focused is { }) { // Leave Focused.SetHasFocus (false, this); // Signal that nothing is focused, and callers should try a peer-subview Focused = null; } return false; } /// Gets or sets a value indicating whether this can be focused. /// /// /// must also have set to . /// /// /// When set to , if an attempt is made to make this view focused, the focus will be set to /// the next focusable view. /// /// /// When set to , the will be set to -1. /// /// /// When set to , the values of and for all /// subviews will be cached so that when is set back to , the subviews /// will be restored to their previous values. /// /// /// Changing this peroperty to will cause to be set to /// " as a convenience. Changing this peroperty to /// will have no effect on . /// /// public bool CanFocus { get => _canFocus; set { if (!_addingViewSoCanFocusAlsoUpdatesSuperView && IsInitialized && SuperView?.CanFocus == false && value) { throw new InvalidOperationException ("Cannot set CanFocus to true if the SuperView CanFocus is false!"); } if (_canFocus == value) { return; } _canFocus = value; switch (_canFocus) { case false when _tabIndex > -1: // BUGBUG: This is a poor API design. Automatic behavior like this is non-obvious and should be avoided. Callers should adjust TabIndex explicitly. //TabIndex = -1; break; case true when SuperView?.CanFocus == false && _addingViewSoCanFocusAlsoUpdatesSuperView: SuperView.CanFocus = true; break; } if (TabStop is null && _canFocus) { TabStop = TabBehavior.TabStop; } if (!_canFocus && SuperView?.Focused == this) { SuperView.Focused = null; } if (!_canFocus && HasFocus) { SetHasFocus (false, this); SuperView?.RestoreFocus (); // If EnsureFocus () didn't set focus to a view, focus the next focusable view in the application if (SuperView is { Focused: null }) { SuperView.AdvanceFocus (NavigationDirection.Forward, null); if (SuperView.Focused is null && Application.Current is { }) { Application.Current.AdvanceFocus (NavigationDirection.Forward, null); } ApplicationOverlapped.BringOverlappedTopToFront (); } } if (_subviews is { } && IsInitialized) { foreach (View view in _subviews) { if (view.CanFocus != value) { if (!value) { // Cache the old CanFocus and TabIndex so that they can be restored when CanFocus is changed back to true view._oldCanFocus = view.CanFocus; view._oldTabIndex = view._tabIndex; view.CanFocus = false; //view._tabIndex = -1; } else { if (_addingViewSoCanFocusAlsoUpdatesSuperView) { view._addingViewSoCanFocusAlsoUpdatesSuperView = true; } // Restore the old CanFocus and TabIndex to the values they held before CanFocus was set to false view.CanFocus = view._oldCanFocus; view._tabIndex = view._oldTabIndex; view._addingViewSoCanFocusAlsoUpdatesSuperView = false; } } } if (this is Toplevel && Application.Current!.Focused != this) { ApplicationOverlapped.BringOverlappedTopToFront (); } } OnCanFocusChanged (); SetNeedsDisplay (); } } /// Raised when has been changed. /// /// Raised by the virtual method. /// public event EventHandler CanFocusChanged; /// Raised when the view is gaining (entering) focus. Can be cancelled. /// /// Raised by the virtual method. /// public event EventHandler Enter; /// Returns the currently focused Subview inside this view, or if nothing is focused. /// The currently focused Subview. public View Focused { get; private set; } /// /// Focuses the first focusable view in if one exists. If there are no views in /// then the focus is set to the view itself. /// /// public void FocusFirst (TabBehavior? behavior) { if (!CanBeVisible (this)) { return; } if (_tabIndexes is null) { SuperView?.SetFocus (this); return; } var indicies = GetScopedTabIndexes (behavior, NavigationDirection.Forward); if (indicies.Length > 0) { SetFocus (indicies [0]); } } /// /// Focuses the last focusable view in if one exists. If there are no views in /// then the focus is set to the view itself. /// /// public void FocusLast (TabBehavior? behavior) { if (!CanBeVisible (this)) { return; } if (_tabIndexes is null) { SuperView?.SetFocus (this); return; } var indicies = GetScopedTabIndexes (behavior, NavigationDirection.Forward); if (indicies.Length > 0) { SetFocus (indicies [^1]); } } /// /// Gets or sets whether this view has focus. /// /// /// /// Causes the and virtual methods (and and /// events to be raised) when the value changes. /// /// /// Setting this property to will recursively set to /// /// for any focused subviews. /// /// public bool HasFocus { // Force the specified view to have focus set => SetHasFocus (value, this, true); get => _hasFocus; } /// Returns a value indicating if this View is currently on Top (Active) public bool IsCurrentTop => Application.Current == this; /// Raised when the view is losing (leaving) focus. Can be cancelled. /// /// Raised by the virtual method. /// public event EventHandler Leave; /// /// Returns the most focused Subview in the chain of subviews (the leaf view that has the focus), or /// if nothing is focused. /// /// The most focused Subview. public View MostFocused { get { if (Focused is null) { return null; } View most = Focused.MostFocused; if (most is { }) { return most; } return Focused; } } /// Invoked when the property from a view is changed. /// /// Raises the event. /// public virtual void OnCanFocusChanged () { CanFocusChanged?.Invoke (this, EventArgs.Empty); } // BUGBUG: The focus API is poorly defined and implemented. It deeply intertwines the view hierarchy with the tab order. /// Invoked when this view is gaining focus (entering). /// The view that is leaving focus. /// , if the event was handled, otherwise. /// /// /// Overrides must call the base class method to ensure that the event is raised. If the event /// is handled, the method should return . /// /// public virtual bool OnEnter (View leavingView) { var args = new FocusEventArgs (leavingView, this); Enter?.Invoke (this, args); if (args.Handled) { return true; } return false; } /// Invoked when this view is losing focus (leaving). /// The view that is entering focus. /// , if the event was handled, otherwise. /// /// /// Overrides must call the base class method to ensure that the event is raised. If the event /// is handled, the method should return . /// /// public virtual bool OnLeave (View enteringView) { // BUGBUG: _hasFocus should ALWAYS be false when this method is called. if (_hasFocus) { Debug.WriteLine ($"BUGBUG: HasFocus should ALWAYS be false when OnLeave is called."); return true; } var args = new FocusEventArgs (this, enteringView); Leave?.Invoke (this, args); if (args.Handled) { return true; } return false; } /// /// Causes this view to be focused. All focusable views up the Superview hierarchy will also be focused. /// public void SetFocus () { if (!CanBeVisible (this) || !Enabled) { if (HasFocus) { // If this view is focused, make it leave focus SetHasFocus (false, this); } return; } // Recursively set focus upwards in the view hierarchy if (SuperView is { }) { SuperView.SetFocus (this); } else { SetFocus (this); } } /// /// INTERNAL API that gets or sets the focus direction for this view and all subviews. /// Setting this property will set the focus direction for all views up the SuperView hierarchy. /// internal NavigationDirection FocusDirection { get => SuperView?.FocusDirection ?? _focusDirection; set { if (SuperView is { }) { SuperView.FocusDirection = value; } else { _focusDirection = value; } } } /// /// INTERNAL helper for calling or based on /// . /// FocusDirection is not public. This API is thus non-deterministic from a public API perspective. /// internal void RestoreFocus () { if (Focused is null && _subviews?.Count > 0) { if (FocusDirection == NavigationDirection.Forward) { FocusFirst (null); } else { FocusLast (null); } } } /// /// Internal API that causes to enter focus. /// does not need to be a subview. /// Recursively sets focus upwards in the view hierarchy. /// /// private void SetFocus (View viewToEnterFocus) { if (viewToEnterFocus is null) { return; } if (!viewToEnterFocus.CanFocus || !viewToEnterFocus.Visible || !viewToEnterFocus.Enabled) { return; } // If viewToEnterFocus is already the focused view, don't do anything if (Focused?._hasFocus == true && Focused == viewToEnterFocus) { return; } // If a subview has focus and viewToEnterFocus is the focused view's superview OR viewToEnterFocus is this view, // then make viewToEnterFocus.HasFocus = true and return if ((Focused?._hasFocus == true && Focused?.SuperView == viewToEnterFocus) || viewToEnterFocus == this) { if (!viewToEnterFocus._hasFocus) { viewToEnterFocus._hasFocus = true; } return; } // Make sure that viewToEnterFocus is a subview of this view View c; for (c = viewToEnterFocus._superView; c != null; c = c._superView) { if (c == this) { break; } } if (c is null) { throw new ArgumentException (@$"The specified view {viewToEnterFocus} is not part of the hierarchy of {this}."); } // If a subview has focus, make it leave focus Focused?.SetHasFocus (false, viewToEnterFocus); // make viewToEnterFocus Focused and enter focus View f = Focused; Focused = viewToEnterFocus; Focused.SetHasFocus (true, f); // Ensure on either the first or last focusable subview of Focused // BUGBUG: With Groups, this means the previous focus is lost Focused.RestoreFocus (); // Recursively set focus upwards in the view hierarchy if (SuperView is { }) { SuperView.SetFocus (this); } else { // If there is no SuperView, then this is a top-level view SetFocus (this); } } /// /// Internal API that sets . This method is called by HasFocus_set and other methods that /// need to set or remove focus from a view. /// /// The new setting for . /// The view that will be gaining or losing focus. /// /// to force Enter/Leave on regardless of whether it /// already HasFocus or not. /// /// /// If is and there is a focused subview ( /// is not ), /// this method will recursively remove focus from any focused subviews of . /// private void SetHasFocus (bool newHasFocus, View view, bool force = false) { if (HasFocus != newHasFocus || force) { _hasFocus = newHasFocus; if (newHasFocus) { OnEnter (view); } else { OnLeave (view); } SetNeedsDisplay (); } // Remove focus down the chain of subviews if focus is removed if (!newHasFocus && Focused is { }) { View f = Focused; f.OnLeave (view); f.SetHasFocus (false, view); Focused = null; } } #region Tab/Focus Handling #nullable enable private List _tabIndexes; // TODO: This should be a get-only property? // BUGBUG: This returns an AsReadOnly list, but isn't declared as such. /// Gets a list of the subviews that are a . /// The tabIndexes. public IList TabIndexes => _tabIndexes?.AsReadOnly () ?? _empty; /// /// Gets TabIndexes that are scoped to the specified behavior and direction. If behavior is null, all TabIndexes are returned. /// /// /// /// GetScopedTabIndexes private View [] GetScopedTabIndexes (TabBehavior? behavior, NavigationDirection direction) { IEnumerable indicies; if (behavior.HasValue) { indicies = _tabIndexes.Where (v => v.TabStop == behavior && v is { CanFocus: true, Visible: true, Enabled: true }); } else { indicies = _tabIndexes.Where (v => v is { CanFocus: true, Visible: true, Enabled: true }); } if (direction == NavigationDirection.Backward) { indicies = indicies.Reverse (); } return indicies.ToArray (); } private int? _tabIndex; // null indicates the view has not yet been added to TabIndexes private int? _oldTabIndex; /// /// Indicates the order of the current in list. /// /// /// /// If , the view is not part of the tab order. /// /// /// On set, if is or has not TabStops, will /// be set to 0. /// /// /// On set, if has only one TabStop, will be set to 0. /// /// /// See also . /// /// public int? TabIndex { get => _tabIndex; // TOOD: This should be a get-only property. Introduce SetTabIndex (int value) (or similar). set { // Once a view is in the tab order, it should not be removed from the tab order; set TabStop to NoStop instead. Debug.Assert (value >= 0); Debug.Assert (value is { }); if (SuperView?._tabIndexes is null || SuperView?._tabIndexes.Count == 1) { // BUGBUG: Property setters should set the property to the value passed in and not have side effects. _tabIndex = 0; return; } if (_tabIndex == value && TabIndexes.IndexOf (this) == value) { return; } _tabIndex = value > SuperView!.TabIndexes.Count - 1 ? SuperView._tabIndexes.Count - 1 : value < 0 ? 0 : value; _tabIndex = GetGreatestTabIndexInSuperView ((int)_tabIndex); if (SuperView._tabIndexes.IndexOf (this) != _tabIndex) { // BUGBUG: we have to use _tabIndexes and not TabIndexes because TabIndexes returns is a read-only version of _tabIndexes SuperView._tabIndexes.Remove (this); SuperView._tabIndexes.Insert ((int)_tabIndex, this); ReorderSuperViewTabIndexes (); } } } /// /// Gets the greatest of the 's that is less /// than or equal to . /// /// /// The minimum of and the 's . private int GetGreatestTabIndexInSuperView (int idx) { if (SuperView is null) { return 0; } var i = 0; foreach (View superViewTabStop in SuperView._tabIndexes) { if (superViewTabStop._tabIndex is null || superViewTabStop == this) { continue; } i++; } return Math.Min (i, idx); } /// /// Re-orders the s of the views in the 's . /// private void ReorderSuperViewTabIndexes () { if (SuperView is null) { return; } var i = 0; foreach (View superViewTabStop in SuperView._tabIndexes) { if (superViewTabStop._tabIndex is null) { continue; } superViewTabStop._tabIndex = i; i++; } } private TabBehavior? _tabStop; /// /// Gets or sets the behavior of for keyboard navigation. /// /// /// /// If the tab stop has not been set and setting to true will set it /// to /// . /// /// /// TabStop is independent of . If is , the /// view will not gain /// focus even if this property is set and vice-versa. /// /// /// The default keys are Key.Tab and Key>Tab.WithShift. /// /// /// The default keys are Key.Tab.WithCtrl and Key>Key.Tab.WithCtrl.WithShift. /// /// public TabBehavior? TabStop { get => _tabStop; set { if (_tabStop == value) { return; } Debug.Assert (value is { }); if (_tabStop is null && TabIndex is null) { // This view has not yet been added to TabIndexes (TabStop has not been set previously). TabIndex = GetGreatestTabIndexInSuperView (SuperView is { } ? SuperView._tabIndexes.Count : 0); } _tabStop = value; } } #endregion Tab/Focus Handling }