diff options
| author | Gabriel Schneider <[email protected]> | 2026-07-31 00:52:02 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-08-01 15:02:08 -0300 |
| commit | a77e342eb7fa4add700a96a661226649e8c4763f (patch) | |
| tree | 3ad4978cca350090463e58840dc94404ea8a1a33 /src/config.zig | |
| parent | ea228d1b832401db8efe33a5db4099ba41d42509 (diff) | |
| download | pardes-a77e342eb7fa4add700a96a661226649e8c4763f.tar.gz pardes-a77e342eb7fa4add700a96a661226649e8c4763f.zip | |
output panes remember the command that opened them
An output buffer was a file pane with a flag, and everything special about it
was re-derived from outside by asking the wrong question: the buffer NAME
("+Search", "+Help"), a parallel search_kind field, and f.output predicates
sprinkled through kind-agnostic code.
Now it carries its Origin — the Builtin, or the lsp.Kind for the five gotos
helix binds as motions rather than words — plus that command's argument, and
one Traits table answers every question the scattered code used to ask: what
it is called, whether n/N steps it, whether it is a doc for layout, whether
Esc dismisses it, whether it saves. The name is derived FROM the command
instead of being the thing that identifies it.
Adding a kind of output pane is adding a row. No golden moved.
Diffstat (limited to 'src/config.zig')
| -rw-r--r-- | src/config.zig | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/config.zig b/src/config.zig index 141d8376..65ac397b 100644 --- a/src/config.zig +++ b/src/config.zig @@ -308,8 +308,10 @@ pub const grep_marker = " Grep /"; pub const rename_marker = " Rename /"; pub const symbol_marker = " WsSymbols /"; -/// Output-buffer names (acme's +Errors). Load-bearing beyond cosmetics: n/N -/// finds its results buffer by name, so the writer and the stepper must agree. +/// Output-buffer names (acme's +Errors). Cosmetic now, and deliberately so: a +/// buffer is DERIVED from the command that opened it (output_pane.traits), and +/// nothing identifies one by matching this text any more — renaming any of +/// these changes only what you read in a tag. pub const search_buffer = "+Search"; pub const help_buffer = "+Help"; pub const hover_buffer = "+Hover"; |
