bugfix #2 in search UI
commit1693f1f160e0567cf0bf1f26d3d61f577082cdfb
authorKartik K. Agaram <vc@akkartik.com>
Tue, 29 Oct 2024 23:04:14 +0000 (29 16:04 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Tue, 29 Oct 2024 23:04:14 +0000 (29 16:04 -0700)
tree5fadc16bed61ceccbbda889840f1b43cefb20f07
parentc1a3616964bfdeb11144c0e7289fc16ba563e84a
bugfix #2 in search UI
edit.lua
search.lua
source_edit.lua
source_text_tests.lua
text_tests.lua