A terminal bound as a language's REPL takes the execs made on that language's files

Repl python in a terminal's tag or on its ctl binds it (Repl - unbinds, Repl
bare says the binding, the same word again changes nothing), with an id,
python-a, python-b, in its tag. An exec made by a gesture on the body of a
file in that language -- a middle click or the execute key, on any text, a
single word too -- or on the REPL's own body is typed into it, bracketed if
its program asked for that, else line by line with a once-said warning for
Python's blank lines, then Enter; the message row says -> python-a in the
tag's name tint, the log send <from> <to> <id>. Several bound for the
language: the pane asks which on its notice band, as Del asks, one key
answering, Esc none, nothing remembered. The gesture is known where it is
dispatched (mouse.zig, the execute key), so the tag's words, Exec <text> run
by name and a command word @`cmd` stay commands, and a 9P exec is never
sent. A finished command pane is no REPL; bindings are not dumped. The docs
spell out the escapes, the pdb and input() caveat and the no-bracketed-paste
papercut.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

1 files changed, 4 insertions, 1 deletions

diff --git a/src/mouse.zig b/src/mouse.zig
index 0ec20df2..f222b5da 100644
--- a/src/mouse.zig
+++ b/src/mouse.zig
@@ -190,7 +190,7 @@ pub fn handleMouse(p: *Pardes, m: Mouse) void {
         else => false,
     }) for (p.panes) |slot| {
         const pane = slot orelse continue;
-        if (pane.prompt == .del_side) pane.prompt = .none;
+        if (pane.prompt == .del_side or pane.prompt == .repl_choice) pane.prompt = .none;
     };
     if (m.button == .back or m.button == .forward) {
         if (m.kind == .press) p.jumpBy(if (m.button == .back) -1 else 1);
@@ -719,6 +719,9 @@ fn dispatchPointerBuiltin(
     // nothing, as acme's look3 and execute return on an empty expansion.
     const operand = text orelse return;
     if (gesture) |g| if (reportGesture(p, id, cmd, operand, g.on_tag, g.operand, arg != null)) return;
+    // A middle click on a body is the exec a bound REPL may take.
+    p.exec_from_body = cmd == config.exec_cmd and gesture != null and !gesture.?.on_tag;
+    defer p.exec_from_body = false;
     exec.runBuiltin(p, cmd, id, "", exec.withArg(p, operand, arg));
 }