bugfix #3, attempt #2 in search UI
commit6975b8b7210296da1280a56c29f279eac39cdbda
authorKartik K. Agaram <vc@akkartik.com>
Wed, 30 Oct 2024 00:47:38 +0000 (29 17:47 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Wed, 30 Oct 2024 00:47:38 +0000 (29 17:47 -0700)
tree735ff990ac247634fb0d64fdb965258624bd4cdd
parent0940e7276100c4a368d12e03522aea45bb42b8ed
bugfix #3, attempt #2 in search UI

Avoid accidental side-effects.
edit.lua
source_edit.lua