Fork of lines.love for live programming; useful starting point for further forks

bugfix: restart search on backspace

Ported from bugfix of 2024-06-23.

Created by  akkartik  on October 29, 2024
O7YTBRQYVEM6LR22BJFPAGGF4CQP5R2C4B4KXVOTHUWA32TVZ6BQC
Change contents