bugfix: restart search on backspace
commit1609d79516b2e8f790648fd67614d9edb9c2e24c
authorKartik K. Agaram <vc@akkartik.com>
Tue, 29 Oct 2024 04:49:24 +0000 (28 21:49 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Tue, 29 Oct 2024 04:49:24 +0000 (28 21:49 -0700)
treefc5559baa2d9587a334689cc0397c49541ef0d03
parente0ccf1de675d8b84553a8692d4616020f420e93e
bugfix: restart search on backspace

Ported from bugfix of 2024-06-23.
source_edit.lua