chiark / gitweb /
And reload the LDB on startup!
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 13:29:19 +0000 (13:29 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 14:06:13 +0000 (14:06 +0000)
commit54623690ddeba7cc101b16e405b5ccf507e6021d
treedcdaa801c5cf46c04c6fa48c8a9b78d26a2c79de
parent4862e4a92a28a9319a66a82c9daadff8da87982e
And reload the LDB on startup!

Finally, you can restart the client and have it drop you at your
previous position.
src/tui.rs