Seems as if I ran out of disk space. How can I empty the trash folder?
I found a pretty good way: shift+click to select multiple files and then remove via right+click. Unfortunately there was an error “cannot remove file” and not all selected files have been removed. After a second try I could remove everything. Is there some limit on the number of files which can be removed with one command?
Sorry for the suboptimal UX, you are right, shift+click is the only way to delete multiple files at the moment. I’ll upvote the corresponding request in our tracker.
I’ll also try to check the logs to find out why the deletion wasn’t successful from the first attempt.