diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-27 22:42:54 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:14 -0300 |
| commit | d126715cd20a39dbc10870318968546f5e371b97 (patch) | |
| tree | 2949a508578524e7729005d75df5405258554572 /src/gui | |
| parent | 898c61ee7cddaade523885bb9b02a89678b00fcc (diff) | |
| download | pardes-d126715cd20a39dbc10870318968546f5e371b97.tar.gz pardes-d126715cd20a39dbc10870318968546f5e371b97.zip | |
Split the pipe's editor side out of selection_pipe.zig into Pipe.zig
Pure move, no behaviour change: the editor half of `|` that the earlier
change put at the end of selection_pipe.zig (PendingPipe, pipeMarker,
submitPipe, pipeRequest, pipeFailed, pipeCut, pipeOutput, pipeResponse,
and the eight pipe tests with nextPipeEffect) now lives in its own
Pipe.zig, so the pipe's editor state can become Pipe's own fields next.
selection_pipe.zig goes back to exactly what it was before this series: the
native runner and the boundary values the shells hand to their workers.
The moved code names the runner's types as `selection_pipe.X` again, as it
did in pardes.zig; callers change from `selection_pipe.submitPipe(p, ..)`
to `Pipe.submitPipe(p, ..)` (pardes.zig and the four shells).
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/gui.zig | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gui/gui.zig b/src/gui/gui.zig index f044ca17..ef94d5b3 100644 --- a/src/gui/gui.zig +++ b/src/gui/gui.zig @@ -16,6 +16,7 @@ const crt = @import("crt.zig"); const pet = @import("pet.zig"); const fonts = @import("../fonts.zig"); // the Font builtin's half of the seam const selection_pipe = @import("../selection_pipe.zig"); +const Pipe = @import("../Pipe.zig"); const c_heap = @import("c_heap"); const ninep_io = @import("../9p_io.zig"); @@ -1703,7 +1704,7 @@ fn spawnPipe( core.update(.{ .pipe_resp = .{ .id = id, .success = false, .outputs = &.{} } }); return; } - const view = selection_pipe.pipeRequest(core, id) orelse return; + const view = Pipe.pipeRequest(core, id) orelse return; const job = selection_pipe.Job.copy(gpa, view) catch |err| { core.update(.{ .pipe_resp = .{ .id = id, .success = false, .outputs = &.{} } }); return core.reportError(core.active, "pipe", err); |
