diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 80405518..161dadcc 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -700,7 +700,8 @@ to allow other files loaded by proof assistants to be marked read-only." ;; or even, could include parsing inside PG. (save-excursion (set-buffer buffer) - (if (< (proof-unprocessed-begin) (proof-script-end)) + (save-excursion ;; prevent point moving if user viewing file + (if (< (proof-unprocessed-begin) (proof-script-end)) (let ((span (make-span (proof-unprocessed-begin) (proof-script-end))) cmd) @@ -735,7 +736,7 @@ to allow other files loaded by proof assistants to be marked read-only." (proof-init-segmentation) (set-span-property span 'type 'comment)) ;; End of locked region is always end of buffer - (proof-set-locked-end (proof-script-end)))))) + (proof-set-locked-end (proof-script-end))))))) |