diff options
Diffstat (limited to 'docs/config.md')
| -rw-r--r-- | docs/config.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/config.md b/docs/config.md index 434a1778..43b289cb 100644 --- a/docs/config.md +++ b/docs/config.md @@ -637,6 +637,11 @@ uses the argument as a path as before. Absolute paths and argument-free Restore retain their existing behavior. `Dump` still honors `$PARDES_DUMP` and otherwise writes a timestamped file in the default directory. +A dump keeps the settings that differ from a fresh session's (`Placement +pardes`, `Verbose off`, a shader), as the root ctl reads them, and a Restore +sets them again; the theme is kept with the layout, and the font stays the +frontend's. REPL bindings are not kept. + A restored terminal comes back live: its recorded output (the last MiB of it) is replayed as history, a dim `── restored history ──` line marks where it ends, and a new shell starts below it in the directory the old one was in, |