1- Search for a file. 2- Press the Delete button in any (or all) of the results. 3- Notice that the file(s) didn't disappear from the results.
Can confirm on git-master