chiark / gitweb /
Persist the latest read item in the Tui.
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 13:34:04 +0000 (13:34 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 14:06:13 +0000 (14:06 +0000)
commit8588059f9bd580592efc676c605cb8e9faf32869
tree13da761c3d0dfe4ea381d605da571ccdce63547a
parenta47e08b0ce22c1f589301a509d6dd20902247cbe
Persist the latest read item in the Tui.

Now it's used to set the initial position when File is constructed,
but there's still no actual effect, because the _position_ from the
last File instance on that feed still takes precedence, and we never
save anything into the Tui without one of those.
src/file.rs
src/tui.rs