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!

Change History (1)

comment:1 Changed 8 years ago by coquser

Well, something changed. Now the splash screen sticks around, as in previous releases.

Not sure what I did.

Note: See TracTickets for help on using tickets.