Expose the key of the InputListener to externally so that the caller can give the terminal focus, not just get focus by tap

Author: luxi78

lib/frontend/input_listener.dart

@@ -15,6 +15,7 @@ abstract class InputListenerController {
 
 class InputListener extends StatefulWidget {
   InputListener({
+    Key? key,
     required this.child,
     required this.onKeyStroke,
     required this.onTextInput,
@@ -30,7 +31,7 @@ class InputListener extends StatefulWidget {
     this.inputAction = TextInputAction.done,
     this.keyboardAppearance = Brightness.light,
     this.autocorrect = false,
-  });
+  }):super(key:key);
 
   final Widget child;
   final InputHandler onTextInput;

lib/frontend/terminal_view.dart

@@ -169,6 +169,7 @@ class _TerminalViewState extends State<TerminalView> {
   @override
   Widget build(BuildContext context) {
     return InputListener(
+      key: widget.terminal.inputKey,
       listenKeyStroke: widget.inputBehavior.acceptKeyStroke,
       onKeyStroke: onKeyStroke,
       onTextInput: onInput,

lib/terminal/terminal.dart

@@ -2,8 +2,10 @@ import 'dart:async';
 import 'dart:collection';
 import 'dart:math' show max, min;
 
+import 'package:flutter/src/widgets/framework.dart';
 import 'package:xterm/buffer/buffer.dart';
 import 'package:xterm/buffer/line/line.dart';
+import 'package:xterm/frontend/input_listener.dart';
 import 'package:xterm/input/keys.dart';
 import 'package:xterm/input/keytab/keytab.dart';
 import 'package:xterm/input/keytab/keytab_escape.dart';
@@ -40,6 +42,7 @@ class Terminal
     with Observable
     implements TerminalUiInteraction, TerminalSearchInteraction {
   Terminal({
+    this.inputKey,
     this.backend,
     this.onBell = _defaultBellHandler,
     this.onTitleChange = _defaultTitleHandler,
@@ -805,4 +808,7 @@ class Terminal
       setScrollOffsetFromBottom(buffer.height - desiredScrollOffsetFromTop);
     }
   }
+
+  @override
+  GlobalKey<InputListenerState>? inputKey;
 }

lib/terminal/terminal_ui_interaction.dart

@@ -1,4 +1,6 @@
+import 'package:flutter/cupertino.dart';
 import 'package:xterm/buffer/line/line.dart';
+import 'package:xterm/frontend/input_listener.dart';
 import 'package:xterm/input/keys.dart';
 import 'package:xterm/mouse/position.dart';
 import 'package:xterm/mouse/selection.dart';
@@ -12,6 +14,8 @@ abstract class TerminalUiInteraction with Observable {
   /// The theme associated with this Terminal
   TerminalTheme get theme;
 
+  GlobalKey<InputListenerState>? inputKey;
+
   /// the ViewPort scroll offset from the bottom
   int get scrollOffsetFromBottom;