diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-29 13:59:02 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:16 -0300 |
| commit | 379bb906ad3f40937cffa994b6e3550e43f5491a (patch) | |
| tree | 300261becff3ff81f388dff6ceb5c3ae8bf64b15 /src/pardes.zig | |
| parent | bb770b12a4ab9ef7dbeee9ade5a1e51e90b4d15b (diff) | |
| download | pardes-379bb906ad3f40937cffa994b6e3550e43f5491a.tar.gz pardes-379bb906ad3f40937cffa994b6e3550e43f5491a.zip | |
A new file, once saved, shows in /recent, open
A pane named for a file not yet on disk is not kept in Recent (round 22), and its Save did not add it, so the file stayed out of /recent while open. A Save that puts a file on disk now records it.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/pardes.zig')
| -rw-r--r-- | src/pardes.zig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pardes.zig b/src/pardes.zig index d5935302..12acfbd6 100644 --- a/src/pardes.zig +++ b/src/pardes.zig @@ -5570,6 +5570,8 @@ pub const Pardes = struct { if (saved.saved_revision != saved.revision) return; saved.disk_gone = false; ctlfs.events.noteLog(p, .save, saved_pane); + // On disk now, a new file too: Recent has it, open. + if (saved.output == null and recentKeeps(saved.path)) p.recent.opened(p.recentGpa(), saved.path); if (!saved.watch_after_save) return; saved.watch_after_save = false; if (filesystem.localPath(saved.path) != null) |