Pane rendering fixes (#3683)

* Fix a bug where a pane's leader info was not rendered if the pane was
part of a split
* Fix a crash when zooming a pane, due to duplicate render of that view.
8efc38d43aMax Brunsfeld committed on 12/15/2023, 9:34:34 PM· committed by GitHubparents4eb609aa5e037b
1 file changedLine totals unavailable