chiark / gitweb /
Fix rendering glitch when ExtensibleIndicator vanishes.
authorSimon Tatham <anakin@pobox.com>
Fri, 5 Jan 2024 06:29:57 +0000 (06:29 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 5 Jan 2024 06:30:38 +0000 (06:30 +0000)
commit052922e3a3109ec16151d46be0ad6816f6ee034f
treede0a0f0a3d3034a43180989b0e37db5fdd4efb2f
parent45bee8d6df352236343ad5e8c882c3c94f4a3e87
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