diff options
Diffstat (limited to 'src/File.zig')
| -rw-r--r-- | src/File.zig | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/File.zig b/src/File.zig index 2046a7cd..78c84287 100644 --- a/src/File.zig +++ b/src/File.zig @@ -888,6 +888,11 @@ pub fn restore(p: *Pardes, id: usize, src: dump.Pane) !*Pane { pane.cols = @max(1, src.cols); pane.rows = @max(1, src.rows); if (output == null and filesystem.localPath(path) != null) p.emit(.{ .watch = .{ .pane = @intCast(id), .on = true, .mode = .baseline_disk } }); + // Its file gone from disk since the dump: its text is nowhere else now, + // so it comes back as one deleted on disk, dirty, and Del, Exit and + // Restore ask before throwing it away. + if (comptime pardes.hosted) if (output == null) if (filesystem.localPath(path)) |local| + if (@import("exec.zig").kindOf(local) == null) deleted(p, @intCast(id)); return pane; } |
