Gitpod: Search: showing duplicate results for the same query

[nisarhassan12]

Describe the bug

Search view is showing duplicate results for the same quey view the below screenshot.

I'm expecting it to show and highlight what matches the current query value, not the previous states query value.

Steps to reproduce

Open up a new workspace for https://gitpod.io/#https://github.com/gitpod-io/website/ and try searching for something i.e "console.log"

Expected behavior

Additional information

Example repository

[jankeromnes]

Many thanks for reporting this @nisarhassan12!

I also see this all the time, and it's quite annoying. (I've now trained myself to wait for duplicate results, then remove + re-add the last letter to remove the old results.)

[corneliusludmann]

https://github.com/eclipse-theia/theia/issues/7282