Opened 8 years ago
Last modified 8 years ago
#513 new defect
Splash screen disappears too quickly
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.4 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Downloaded PG from github.com, ran "make", everything built nicely.
Changed my .emacs to load this version of PG, using emacs 24.3.1.
The splash screen appears for a fraction of a second. In earlier versions of PG, it stayed around for a few seconds. In generic/proof-splash.el, I doubled proof-splash-time to 16, ran "make" again. Same result.
I always thought that the splash screen hung around too long in earlier versions. But this is not the behavior I wanted!
Note: See
TracTickets for help on using
tickets.
Well, something changed. Now the splash screen sticks around, as in previous releases.
Not sure what I did.