Fix rendering glitch when ExtensibleIndicator vanishes.

We'd end up drawing three fewer lines of the top of the revised file
than would have fitted on the screen.

diff --git a/src/file.rs b/src/file.rs
index d664605a0f71668cb060d1116430d3d512fd0c2c..f0beffa6b26105b9bc55bcfd28ef354f43cc9e72 100644 (file)
--- a/src/file.rs
+++ b/src/file.rs
@@ -537,6 +537,7 @@ impl<Type: FileType, Source: FileDataSource> File<Type, Source> {
                 }
 
                 self.contents.update_items(client);
+                self.fix_overshoot_at_top(); // in case the extender vanished
                 Ok(())
             }
             Err(e) => Err(e),