A lightweight programming environment for desktop and mobile devices

bugfix #3 in search UI

This is a regression. Scenario: search for a string, then backspace until it goes empty.

Created by  akkartik  on October 29, 2024
6PRGXS6XLC7P2EASPUU64OHJUIMEDWAWRLFB265KSFPJIMTKQ6WAC
Change contents