Search (CTRL+F) Doesn't Auto-Update After Content Changes

[Jatin24062005]

p5.js version

No response

What is your operating system?

None

Web browser and version

No response

Actual Behavior

The search results do not update when new text is added.
The search overlay remains stuck on the initial results, even if content changes.

p5.js.Web.Editor.-.Google.Chrome.2025-03-06.17-17-09.mp4

Expected Behavior

When text matching the search query is added or removed, the search results should automatically update.
The search overlay should refresh dynamically, without requiring the user to manually restart the search.

Steps to reproduce

1. Open https://editor.p5js.org/ and Add hello (any text ) 4 times
2. Observe the search results count (0/4 if "hello" appears 4 times).
3. Add more instances of the searched word (hello) in the editor.
4. Notice that the search result count and highlighting remain the same, not updating dynamically.