terminal: bugfix -- latest change to eliminate control codes could result in typed characters being dropped sometimes

Author: williamstein

src/packages/frontend/frame-editors/terminal-editor/connected-terminal.ts

@@ -744,11 +744,17 @@ export class Terminal<T extends CodeEditorState = CodeEditorState> {
   }
 
   init_terminal_data(): void {
-    this.terminal.onData((data) => {
+    this.terminal.onKey(({ key }) => {
       if (this.ignoreData) {
-        return;
+        console.log("onKey", { key });
+        this.conn_write(key);
+      }
+    });
+    this.terminal.onData((data) => {
+      if (!this.ignoreData) {
+        console.log("onData", { data });
+        this.conn_write(data);
       }
-      this.conn_write(data);
     });
   }
 

src/packages/util/smc-version.js

@@ -1,2 +1,2 @@
 /* autogenerated by the update_version script */
-exports.version=1751120452;
+exports.version=1751142528;