chiark / gitweb /
Implement searching within files.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 13:55:28 +0000 (13:55 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 13:56:22 +0000 (13:56 +0000)
commit670bacddd65ffd9552e1a77981d2631a44088135
treed7bdc8e753f4a58bece55d6c4e904758f21a8363
parent22d4d3d17a6c34f4336b635a26e563e171b54ad3
Implement searching within files.

I think that's now all the functionality from the Python prototype,
and we're ready to switch over!
src/activity_stack.rs
src/editor.rs
src/file.rs
src/tui.rs