diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 10:59:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-28 10:59:29 +0000 |
| commit | b74aae5c0b60dbd75ab89597131a1980951ed43a (patch) | |
| tree | 70a3283f0ff78f613555b7edc74b1c36ca048475 /generic/proof-splash.el | |
| parent | 7ccb0fc0e3945ec507de62c9094c58ca43555784 (diff) | |
Disable pop-up-frames for splash.
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 3 |
1 files changed, 2 insertions, 1 deletions
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))) |