diff options
author | rabite <rabite@posteo.de> | 2019-04-14 22:46:00 +0200 |
---|---|---|
committer | rabite <rabite@posteo.de> | 2019-04-14 22:47:26 +0200 |
commit | 127c3e89a41556a879565e9e8fc573be88c2e34d (patch) | |
tree | 385fe173b84e130dcc933e7d1ae3c47cbb07422a /src/files.rs | |
parent | d41ee4aedb8265313d443d60e1f5b6b332cf28f7 (diff) |
create placeholder when folder is empty when hiding files
Diffstat (limited to 'src/files.rs')
-rw-r--r-- | src/files.rs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/files.rs b/src/files.rs index 0fd1ea2..d1a3775 100644 --- a/src/files.rs +++ b/src/files.rs @@ -342,7 +342,12 @@ impl Files { } pub fn toggle_hidden(&mut self) { - self.show_hidden = !self.show_hidden + self.show_hidden = !self.show_hidden; + self.set_dirty(); + + if self.show_hidden == true { + self.remove_placeholder(); + } } pub fn replace_file(&mut self, |