use a copy of directories at search

This commit is contained in:
tibbi 2018-10-17 18:38:06 +02:00
parent 3c18ecacc4
commit 8434181387
1 changed files with 1 additions and 1 deletions

View File

@ -885,7 +885,7 @@ class MainActivity : SimpleActivity(), DirectoryOperationsListener {
} catch (e: Exception) { } catch (e: Exception) {
config.everShownFolders = HashSet() config.everShownFolders = HashSet()
} }
mDirs = dirs mDirs = dirs.clone() as ArrayList<Directory>
} }
private fun checkPlaceholderVisibility(dirs: ArrayList<Directory>) { private fun checkPlaceholderVisibility(dirs: ArrayList<Directory>) {