search

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

fix 3-pane mode for small frame heights #761

Closed hendriktews closed 7 months ago

hendriktews commented 7 months ago

These tests are for #760 and some of them fail because of this problem.

hendriktews commented 7 months ago

@erikmd , @Matafou : If there are no objections I am going to merge this and soon afterwards #750.