• go to cms
• add a file into the resources explorer
• do a search of files in order to have this file displayed
• click on the search result (on this file)
• click on delete

The file is deleted, the file tree is refreshed (the file is not displayed) but the search results is still displaying the file!

Few solutions:

• run again the search
• hide the search results, the user should do a new search.