Email Gateway (Aug 17 2022 at 13:45): Email Gateway (Aug 17 2022 at 13:45):From: David Aspinall <da@inf.ed.ac.uk>
Dear Peter,
Sorry for the delay replying to your message. I'm afraid that in the
current version of Proof General there isn't an easy way to set
positions and sizes of the multiple windows independently. If you
are using XEmacs you could try editing proof-multiframe-parameters in
generic/pg-response.el to add a default height parameter. (My
version of GNU Emacs produces windows of a useful height, they only
need a quick rearrangement on the screen which I don't find too
troublesome).
I had hoped to support an automatic saving of positions and sizes
from session to session but didn't manage to complete the code: Emacs
management of windows is a real pain. Patches from users to improve
this (or any other) aspect of PG are of course welcome!
Best wishes,
- David.
Last updated: May 03 2024 at 12:27 UTC