From 996bb010755714bc0d627998fc3eaa88819b3a5c Mon Sep 17 00:00:00 2001
From: catloversg <152669316+catloversg@users.noreply.github.com>
Date: Sun, 5 Apr 2026 06:39:06 +0700
Subject: [PATCH] UI: Ensure prompts shown by ns.prompt do not lose focus in
 the terminal tab (#2631)

---
 src/Documentation/doc/en/basic/terminal.md | 6 ++++++
 src/Terminal/Terminal.ts                   | 2 ++
 src/Terminal/ui/TerminalInput.tsx          | 4 +++-
 src/ui/React/PromptManager.tsx             | 3 +++
 4 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/src/Documentation/doc/en/basic/terminal.md b/src/Documentation/doc/en/basic/terminal.md
index d279b9159..71063fe48 100644
--- a/src/Documentation/doc/en/basic/terminal.md
+++ b/src/Documentation/doc/en/basic/terminal.md
@@ -100,3 +100,9 @@ with a semicolon (;). For example:
     $ run foo.js; tail foo.js
 
 Chained commands do **not** wait for functions like `hack` or `wget` to finish executing, and so may not always work as expected.
+
+## Quirks
+
+When your scripts render a text box (e.g., `<input>`, `<textarea>`) with the `autoFocus` attribute in the terminal or
+the tail log window, it may not focus automatically as expected. To be precise, the text box receives focus, but the
+terminal may immediately reclaim it. This depends on the specific timing of the render.
diff --git a/src/Terminal/Terminal.ts b/src/Terminal/Terminal.ts
index 919389f09..88527f37e 100644
--- a/src/Terminal/Terminal.ts
+++ b/src/Terminal/Terminal.ts
@@ -149,6 +149,8 @@ export class Terminal {
 
   // True if a Coding Contract prompt is opened
   contractOpen = false;
+  // True if a prompt is opened via the ns.prompt() API
+  nsPromptApiOpen = false;
 
   // Path of current directory
   currDir = "" as Directory;
diff --git a/src/Terminal/ui/TerminalInput.tsx b/src/Terminal/ui/TerminalInput.tsx
index 70b17a149..a3650d25e 100644
--- a/src/Terminal/ui/TerminalInput.tsx
+++ b/src/Terminal/ui/TerminalInput.tsx
@@ -209,7 +209,9 @@ export function TerminalInput(): React.ReactElement {
   // Catch all key inputs and redirect them to the terminal.
   useEffect(() => {
     function keyDown(this: Document, event: KeyboardEvent): void {
-      if (Terminal.contractOpen) return;
+      if (Terminal.contractOpen || Terminal.nsPromptApiOpen) {
+        return;
+      }
       if (Terminal.action !== null && event.key === KEY.C && event.ctrlKey) {
         Terminal.finishAction(true);
         return;
diff --git a/src/ui/React/PromptManager.tsx b/src/ui/React/PromptManager.tsx
index 89e479c56..717f8b73f 100644
--- a/src/ui/React/PromptManager.tsx
+++ b/src/ui/React/PromptManager.tsx
@@ -7,6 +7,7 @@ import Select, { SelectChangeEvent } from "@mui/material/Select";
 import TextField from "@mui/material/TextField";
 import MenuItem from "@mui/material/MenuItem";
 import { KEY } from "../../utils/KeyboardEventKey";
+import { Terminal } from "../../Terminal";
 
 export const PromptEvent = new EventEmitter<[Prompt]>();
 
@@ -60,6 +61,8 @@ export function PromptManager({ hidden }: { hidden: boolean }): React.ReactEleme
     setPrompt(null);
   };
 
+  Terminal.nsPromptApiOpen = !hidden && prompt !== null;
+
   return (
     <Modal open={!hidden && prompt !== null} onClose={close}>
       {prompt && (