Finished integrated tznind's work.

Author: tig

Terminal.Gui/Application/Application.Keyboard.cs

@@ -64,16 +64,17 @@ public static bool RaiseKeyDownEvent (Key key)
             }
             else
             {
-                if (!KeyBindings.TryGet (key, out KeyBinding appBinding))
+                // BUGBUG: this seems unneeded.
+                if (!KeyBindings.TryGet (key, out KeyBinding keybinding))
                 {
                     return false;
                 }
 
                 bool? toReturn = null;
 
-                foreach (Command command in appBinding.Commands)
+                foreach (Command command in keybinding.Commands)
                 {
-                    toReturn = InvokeCommand (command, key, appBinding);
+                    toReturn = InvokeCommand (command, key, keybinding);
                 }
 
                 return toReturn ?? true;
@@ -82,7 +83,7 @@ public static bool RaiseKeyDownEvent (Key key)
 
         return false;
 
-        static bool? InvokeCommand (Command command, Key key, KeyBinding appBinding)
+        static bool? InvokeCommand (Command command, Key key, KeyBinding binding)
         {
             if (!_commandImplementations!.ContainsKey (command))
             {
@@ -93,7 +94,7 @@ public static bool RaiseKeyDownEvent (Key key)
 
             if (_commandImplementations.TryGetValue (command, out View.CommandImplementation? implementation))
             {
-                CommandContext<KeyBinding> context = new (command, appBinding); // Create the context here
+                CommandContext<KeyBinding> context = new (command, binding); // Create the context here
 
                 return implementation (context);
             }

Terminal.Gui/Application/Application.Navigation.cs

@@ -22,7 +22,7 @@ public static Key NextTabGroupKey
         {
             if (_nextTabGroupKey != value)
             {
-                KeyBindings.ReplaceKey (_nextTabGroupKey, value);
+                KeyBindings.Replace (_nextTabGroupKey, value);
                 _nextTabGroupKey = value;
             }
         }
@@ -37,7 +37,7 @@ public static Key NextTabKey
         {
             if (_nextTabKey != value)
             {
-                KeyBindings.ReplaceKey (_nextTabKey, value);
+                KeyBindings.Replace (_nextTabKey, value);
                 _nextTabKey = value;
             }
         }
@@ -66,7 +66,7 @@ public static Key PrevTabGroupKey
         {
             if (_prevTabGroupKey != value)
             {
-                KeyBindings.ReplaceKey (_prevTabGroupKey, value);
+                KeyBindings.Replace (_prevTabGroupKey, value);
                 _prevTabGroupKey = value;
             }
         }
@@ -81,7 +81,7 @@ public static Key PrevTabKey
         {   
             if (_prevTabKey != value)
             {
-                KeyBindings.ReplaceKey (_prevTabKey, value);
+                KeyBindings.Replace (_prevTabKey, value);
                 _prevTabKey = value;
             }
         }

Terminal.Gui/Application/Application.Run.cs

@@ -19,7 +19,7 @@ public static Key QuitKey
         {
             if (_quitKey != value)
             {
-                KeyBindings.ReplaceKey (_quitKey, value);
+                KeyBindings.Replace (_quitKey, value);
                 _quitKey = value;
             }
         }
@@ -37,7 +37,7 @@ public static Key ArrangeKey
         {
             if (_arrangeKey != value)
             {
-                KeyBindings.ReplaceKey (_arrangeKey, value);
+                KeyBindings.Replace (_arrangeKey, value);
                 _arrangeKey = value;
             }
         }

Terminal.Gui/Input/Bindings.cs

@@ -1,7 +1,13 @@
 #nullable enable
 namespace Terminal.Gui;
 
+/// <summary>
+///     Describes an input binding. Used to bind a set of <see cref="Command"/> objects to a specific input event.
+/// </summary>
 public interface IInputBinding
 {
+    /// <summary>
+    ///     Gets or sets the commands this input binding will invoke.
+    /// </summary>
     Command [] Commands { get; set; }
 }