bugfix in search UI
commitc1a3616964bfdeb11144c0e7289fc16ba563e84a
authorKartik K. Agaram <vc@akkartik.com>
Tue, 29 Oct 2024 22:43:35 +0000 (29 15:43 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Tue, 29 Oct 2024 22:58:00 +0000 (29 15:58 -0700)
tree18a6b93c13b61070de189527a4357bfb4c2d9893
parent1609d79516b2e8f790648fd67614d9edb9c2e24c
bugfix in search UI

This one is ancient and it affects every single one of my forks,
including the whole lines2 lineage. The corner case: searching for empty
string.

In the process I've also cleaned up edit.check_locs on initialization to
only modify cursor if it can find a legal place for it.

In general I should be more careful about mutating the cursor. Just
adding 1 to it is irresponsible.
app.lua
edit.lua
source_edit.lua
source_text_tests.lua
text_tests.lua