diff options
-rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index b31bd1d3..27da333a 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1094,7 +1094,9 @@ Proof General." '(list nil nil - (proof-splash-display-image "pg-text" t) +;;; Remove the text for now: XEmacs makes a mess of displaying the +;;; transparent parts of the gif (at least, on all machines I have seen) +;;; (proof-splash-display-image "pg-text" t) nil (proof-splash-display-image "ProofGeneral") nil |