From 838c49ff69a169a0961d5e2421b914913ee5f318 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 16 Jun 2003 15:02:23 +0000
Subject: Give text default for hidden proof image.

---
 generic/proof-script.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index d44d122f..8e65298d 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2731,7 +2731,7 @@ finish setup which depends on specific proof assistant configuration."
       (setq buffer-offer-save t))
 
   ;; Localise the invisibility glyph (XEmacs only):
-  (let ((img (proof-get-image "hiddenproof" t nil)))
+  (let ((img (proof-get-image "hiddenproof" t "<proof>")))
     (cond
      ((and img proof-running-on-XEmacs)
       (set-glyph-image invisible-text-glyph img (current-buffer)))))
-- 
cgit v1.2.3