delete table row if file was deleted instead of just hide it

This allows to create a new file with the same name of a just deleted file. Otherwise we had to reload the page first.