Restoring deleted files in search doesn't trigger refresh
When I search for something, delete some files, and then undo - the restored files are not shown in the search. I have to close the search and then re-search for them to appear again.
I assume this isn't intended since the search automatically updates when something is deleted.