diff options
author | 1998-11-25 12:36:49 +0000 | |
---|---|---|
committer | 1998-11-25 12:36:49 +0000 | |
commit | 508280c8d95669ad5e935edc1658c49745e74758 (patch) | |
tree | 84c2002fd9225ee392e7448460d59907d887f01c /generic/proof-splash.el | |
parent | 0de530ee0e771da7e910e1a5d7298f9fbf23f6cd (diff) |
Moved some settings to proof-config.
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 41 |
1 files changed, 1 insertions, 40 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index d628ed2a..c2600586 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -45,45 +45,6 @@ Gif filename depends on colour depth of display." (t (concat "[ image " name " ]"))))) -(defcustom proof-splash-inhibit - nil - "*Non-nil prevents splash screen display when Proof General is loaded." - :type 'boolean - :group 'proof-general) - -(defcustom proof-splash-extensions nil - "*Prover specific extensions of splash screen. -These are evaluated and appended to proof-splash-contents, which see." - :type 'sexp - :group 'proof-config) - - -(defcustom proof-splash-contents - (list - nil - nil - (proof-splash-display-image "text_proof" t) - (proof-splash-display-image "text_general" t) - nil - (proof-splash-display-image "ProofGeneral") - nil - "Welcome to" - (concat proof-assistant " Proof General!") - nil) - "List defining splash screen displayed when Proof General is started. -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." - :type 'sexp - :group 'proof-general-internals) - -(defcustom proof-splash-time 1.5 - "Minimum number of seconds to display splash screen for. -The splash screen may be displayed for a couple of seconds longer than -this, depending on how long it takes the machine to initialise proof mode." - :type 'number - :group 'proof-general-internals) - ;; Would be nice to get rid of this variable, but it's tricky ;; to construct a hook function, with a higher order function, ;; which can easily remove itself. @@ -136,7 +97,7 @@ Only do it if proof-splash-display is nil." (splashbuf (get-buffer-create proof-splash-welcome)) (after-change-functions nil) ; no font-lock, thank you (splash-contents (append - proof-splash-contents + (eval proof-splash-contents) (eval proof-splash-extensions))) s) (with-current-buffer splashbuf |