diff options
| author | David Aspinall | 1999-08-24 19:21:51 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-24 19:21:51 +0000 |
| commit | 985a49abde97c0388506de9ab213fa03f1673b9b (patch) | |
| tree | ba2090734cd72df773130469847eca54c8b7c329 /generic/proof-script.el | |
| parent | 72cbaf38a2321864b16b3ab3d18de9553f068461 (diff) | |
Attempted fix of FSFmacs problem, left as comment
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e40696dc..276ab23c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -237,7 +237,11 @@ Otherwise set the locked region to be from the start of the buffer to END." (if (>= (point-min) end) (proof-detach-locked) - (set-span-endpoints proof-locked-span (point-min) end))) + (set-span-endpoints proof-locked-span (point-min) end) + ;; FIXME: this doesn't fix the disappearing regions + ;; span property is lost in latest FSF Emacs, maybe + ;; (set-span-property proof-locked-span 'face 'proof-locked-face) + )) (defun proof-unprocessed-begin () "Return end of locked region in current buffer or (point-min) otherwise." @@ -826,7 +830,8 @@ the function proof-segment-up-to." (or callback-fn 'proof-done-advancing)) alist))) (set-span-property span 'type 'comment) - (setq alist (cons (list span proof-no-command 'proof-done-advancing) alist))) + (setq alist (cons (list span proof-no-command 'proof-done-advancing) + alist))) (setq semis (cdr semis))) (nreverse alist))) |