If a file in search results is changed, I would like to see search refreshed. This is a common feature in other text editors and IDEs.
2 Likes
This was implemented at some point.