ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 88 forks source link

3-pane mode broken with small frame heights #760

Closed hendriktews closed 7 months ago

hendriktews commented 7 months ago

In the default setting, PG splits the frame into 3 windows regardless of the frame height. If the frame height is less than 12, then this signals a window too small for splitting error. This is a real problem for CI where emacs 26.3, 27.1, and 27.2 set their default frame height to 9 when running inside a container.