From 985a49abde97c0388506de9ab213fa03f1673b9b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 24 Aug 1999 19:21:51 +0000 Subject: Attempted fix of FSFmacs problem, left as comment --- generic/proof-script.el | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'generic/proof-script.el') 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))) -- cgit v1.2.3