[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# 6. Splash Screen Settings

The splash screen can be configured, in a rather limited way.

Variable: proof-splash-time

  Minimum number of seconds to display splash screen for.
  The splash screen may be displayed for a wee while longer than this, depending on how long it takes the machine to initialise Proof General.

Variable: proof-splash-contents

  Evaluated to configure splash screen displayed when entering Proof General.
  A list of the screen contents. If an element is a string or an image specifier, it is displayed centred on the window on its own line. If it is nil, a new line is inserted.

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated by David Aspinall on October 19, 2012 using texi2html 1.82.