diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-28 15:57:07 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:15 -0300 |
| commit | 2d24ae98621f24c869ced4dbc06146086ff14887 (patch) | |
| tree | fc7d12afe0acd9f8357994bc977cd1854503daca /src/sam_edit.zig | |
| parent | b67dce15e662ae44de3286686f5a0afc147b918d (diff) | |
| download | pardes-2d24ae98621f24c869ced4dbc06146086ff14887.tar.gz pardes-2d24ae98621f24c869ced4dbc06146086ff14887.zip | |
A restored terminal's tag names neither the REPL it was nor the shell it had
A dump keeps a terminal's whole tag, and restoring read its tail from it
after the directory: the REPL id and Tty+fish, which were live facts and not
the tag's text, came back as a custom tail, so the tags said python-a over a
fresh shell bound to nothing. Restoring now sees through the id and the
shell in the Tty word, a default tail stays the default, and the new shell
names itself when it starts.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/sam_edit.zig')
0 files changed, 0 insertions, 0 deletions