chiark / gitweb /
Save an "ldb" file in the config directory.
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 13:10:33 +0000 (13:10 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 14:06:13 +0000 (14:06 +0000)
commit4862e4a92a28a9319a66a82c9daadff8da87982e
tree7b5879e63f8ae05b3563f663b8453d6a7bd15866
parent8588059f9bd580592efc676c605cb8e9faf32869
Save an "ldb" file in the config directory.

This is updated whenever we exit a File. I think that's a reasonable
balance between updating it on every single press of Space when paging
through the file (excessive disk churn), and waiting until the whole
client exits (excessive risk of forgetting to save it at all).

Perhaps an even better idea would be to schedule a timer to checkpoint
the LDB every few minutes if it had changed.
TODO.md
src/config.rs
src/file.rs
src/tui.rs