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
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.