chiark / gitweb /
More or less principled file-position tracking.
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 16:59:20 +0000 (16:59 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 18:17:34 +0000 (18:17 +0000)
commit937fe8f4d0ab820c338e8a4ae60094874f33820d
treeab2e3de99e67e8a06331750ce2298b1c142370db
parent18df92e748695fc5d945e6a998cf2042977c63f5
More or less principled file-position tracking.

We still can't actually _scroll_ through the file, because I haven't
made any actual keystrokes work yet. But we begin displaying it at the
bottom, and do something sensible on resizing.
src/file.rs
src/tui.rs