diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-06-16 15:02:23 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-16 15:02:23 +0000 |
| commit | 838c49ff69a169a0961d5e2421b914913ee5f318 (patch) | |
| tree | ba4df0488755278c211afcfad7310392f9718175 /generic | |
| parent | ab6fc9808b47bc6f1a1916857568419ca06fc573 (diff) | |
Give text default for hidden proof image.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))))) |