From 052922e3a3109ec16151d46be0ad6816f6ee034f Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Fri, 5 Jan 2024 06:29:57 +0000
Subject: [PATCH] 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.
---
 src/file.rs | 1 +
 1 file changed, 1 insertion(+)

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),
-- 
2.30.2