Delete files in file browser

[MoritzWeber0]

As alternative to complex file deletion workflows via session containers, it shall be possible to delete single files and empty directories from the file browser. To prevent unintended deletions, it shall not be possible to delete directories, which contain files.

[jamilraichouni]

To prevent unintended deletions, it shall not be possible to delete directories, which contain files.

For cases of non-empty directories I'd clearly prefer an extra question dialog like "Do you really want to delete the directory '/path/to/dir' which contains x file(s)?" instead of being forced to delete file by file.

Image a user exported all representations into a directory and would be forced to delete hundreds of diagrams.

[MoritzWeber0]

To prevent unintended deletions, it shall not be possible to delete directories, which contain files.

For cases of non-empty directories I'd clearly prefer an extra question dialog like "Do you really want to delete the directory '/path/to/dir' which contains x file(s)?" instead of being forced to delete file by file.

Image a user exported all representations into a directory and would be forced to delete hundreds of diagrams.

Yes, that makes sense. A dialog can also prevent unintended deletions and is less annoying than deletion of a ton of files manually.