diff options
| author | David Aspinall | 2002-08-31 00:11:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 00:11:04 +0000 |
| commit | 3117ba9ac2f2416e8f246ae777ed03023ba0c924 (patch) | |
| tree | 745ded444bfdbd981f5515bfc2971f8bce0c06f2 /generic/proof-script.el | |
| parent | b5544164f2065584fff41a005bb6c92010ef1442 (diff) | |
Comments
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 0443cd37..67c52088 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -533,7 +533,7 @@ NAME does not need to be unique." (set-span-property span 'span-delete-action delfn) (set-span-property span 'invisible visname) ;; Bad behaviour if span gets copied: unique ID shouldn't be duplicated. - (set-span-property span 'duplicable nil) + (set-span-property span 'duplicable nil) ;; NB: not supported in Emacs ;; Nice behaviour in with isearch: open invisible regions temporarily. (set-span-property span 'isearch-open-invisible 'pg-open-invisible-span) @@ -2799,7 +2799,7 @@ finish setup which depends on specific proof assistant configuration." (or (buffer-file-name) (setq buffer-offer-save t)) - ;; Localise the invisibility glyph (XEmacs only: + ;; Localise the invisibility glyph (XEmacs only): (let ((img (proof-get-image "hiddenproof" t nil))) (cond ((and img proof-running-on-XEmacs) |