From: Simon Tatham <anakin@pobox.com>
Date: Fri, 5 Jan 2024 06:29:57 +0000 (+0000)
Subject: Fix rendering glitch when ExtensibleIndicator vanishes.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=052922e3a3109ec16151d46be0ad6816f6ee034f;p=mastodonochrome.git

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 d664605..f0beffa 100644
--- 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),