diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-29 05:29:45 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:16 -0300 |
| commit | 24729dbbf8b32966a3f33c9bc20599b185856dd3 (patch) | |
| tree | f5c0632b49a61b27334c42ab5ad0fdb74df35821 /src/pardes.zig | |
| parent | eba47199a51370c9753798fbd2439a85ddc4e5bb (diff) | |
| download | pardes-24729dbbf8b32966a3f33c9bc20599b185856dd3.tar.gz pardes-24729dbbf8b32966a3f33c9bc20599b185856dd3.zip | |
get and a deleted file say what happened: the path, changed <serial> deleted, reloaded
get on a file gone from disk failed with a bare ENOENT; it now says get:
<path>: no such file. A watched file deleted on disk was silent; the pane
keeps its text and says <file> deleted on disk (Save writes it again)
once, logged changed <serial> deleted (only a path the watch has read: a
pane renamed to a name never on disk is not deleted). A get that throws a
dirty buffer's
state away logs changed <serial> reloaded, as the watch's reload does.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'src/pardes.zig')
| -rw-r--r-- | src/pardes.zig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pardes.zig b/src/pardes.zig index 59e8670f..dd9d91c8 100644 --- a/src/pardes.zig +++ b/src/pardes.zig @@ -5277,6 +5277,7 @@ pub const Pardes = struct { // A save the host could not do (saveFailed) is its err // record alone, not a `save`. if (saved.saved_revision != saved.revision) return; + saved.disk_gone = false; ctlfs.events.noteLog(p, .save, saved_pane); if (!saved.watch_after_save) return; saved.watch_after_save = false; |
