commit 471e1062d04e7d2e940e8455aafc64c53ecc67e5
author Jason Lin <lxj@google.com> Thu Dec 08 15:39:15 2022 +1100
committer Jason Lin <lxj@google.com> Thu Dec 08 23:10:50 2022 +0000
tree f5832f34ccbbf84a9a3838c570a0a8c1050bbe8a
parent 932b7430a34036040c6ea3db48efd70166111aec

terminal: update xterm.js to fix bugs and support scroll-on-keystroke

Xterm is built from my github repo at
https://github.com/JasonXJ/xterm.js/tree/5d8c8abe74c7813cdaacb39b1d893c5f1b0a8dee
until my pull requests are merged.

Fixed: b/261391604
Change-Id: I1b6074dfabf403ec62444f0ac34c99bcc97f6e82
Reviewed-on: https://chromium-review.googlesource.com/c/apps/libapps/+/4086622
Reviewed-by: Emil Mikulic <easy@google.com>
Tested-by: kokoro <noreply+kokoro@google.com>

terminal/js/terminal_emulator.js

diff --git a/terminal/js/terminal_emulator.js b/terminal/js/terminal_emulator.js
index 64e7d94..0cb0d48 100644
--- a/terminal/js/terminal_emulator.js
+++ b/terminal/js/terminal_emulator.js
@@ -831,6 +831,9 @@
         setHtermColorCSSVariable('foreground-color', v);
       },
       'line-height': (v) => this.updateOption_('lineHeight', v, true),
+      'scroll-on-keystroke': (v) => {
+        this.updateOption_('scrollOnUserInput', v, false);
+      },
       'scroll-on-output': (v) => {
         if (!v) {
           this.scrollOnOutputListener_?.dispose();