Opened 14 years ago
Closed 14 years ago
#325 closed defect (duplicate)
Splash buffer occupies half the frame
| Reported by: | Evgeny Makarov | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | trivial | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Hello,
In the past, when PG was started, Emacs showed the splash screen with PG portrait for a few seconds and then switched to the proof script buffer that I was going to edit. The splash screen occupied the whole Emacs frame.
For many months now, during startup the frame is split in two vertically. The bottom buffer has the splash screen, while the top part briefly shows the *Messages* buffer and then switches to the script file. The frame stays split with the splash buffer at the bottom. This happens in particular with .emacs file having only one line that loads PG. (See my Emacs version below.)
I prefer the earlier behavior. Currently, the big version of the PG portrait I got from the EPS file does not fit the bottom half frame :-(
Emacs : GNU Emacs 23.1.50.1 (i486-pc-linux-gnu, GTK+ Version 2.12.9)
of 2009-08-01 on radon, modified by Debian
Package: Proof General
current state: ============== (setq
proof-general-version "Proof General Version 4.0pre100709. Released by da." proof-assistant "Coq" )
Evgeny
Thanks for the report. I agree with what you say! This will be fixed for 4.0 release, it is recorded as #288 already.