chiark / gitweb /
Save and restore file positions when changing activity.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 12:24:28 +0000 (12:24 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 13:17:45 +0000 (13:17 +0000)
commitb5b0e5044514c3cb075531561dcae8f5531c5b25
treecf737169d5f25e90531157df8da4cf49c0e7f37c
parentc7683a14d12733e8a561f5586cd15a7e252402eb
Save and restore file positions when changing activity.

Now you go back to where you last were in the file.
src/file.rs
src/tui.rs