Skip to content
Snippets Groups Projects
user avatar
Jannis Pohlmann authored
This reverts commit 68924ba2.

The change introduced a crasher when too many files were deleted at
once. Too many folder reloads are not good. Perhaps we need a
removed_files closure in addition to the new_files closure.
9a288cc3
History
Name Last commit Last update