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.
Name | Last commit | Last update |
---|