From b74aae5c0b60dbd75ab89597131a1980951ed43a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 10:59:29 +0000
Subject: Disable pop-up-frames for splash.

---
 generic/proof-splash.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index d31ef3de..fe84ef57 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -194,7 +194,8 @@ Otherwise, timeout inside this function after 10 seconds or so."
       ;; be no way currently to remove the top item of the stack.
       ((winconf   (current-window-configuration))
        (splashbuf (get-buffer-create proof-splash-welcome))
-       (after-change-functions nil) ; no font-lock, thank you
+       (after-change-functions nil)	; no font-lock, thank-you.
+       (pop-up-frames nil)		; display in the same frame.
        (splash-contents (append
 			 (eval proof-splash-contents)
 			 (eval proof-splash-extensions)))
-- 
cgit v1.2.3