Hi Stefan,
I've just noticed the new button in the terminal dashboard's toolbar 
When you click on it, the selected file is correctly deleted but the list is not updated, the file still appear until you click the refresh button.
Additionnaly, when you click multiple times on the delete button there is no error thrown or log entry if the file is already deleted.