Ticket #400: change-ancestor-patch

File change-ancestor-patch, 1.3 KB (added by coquser, 13 years ago)

patch

Line 
1Index: generic/proof-script.el
2===================================================================
3RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-script.el,v
4retrieving revision 11.12
5diff -u -r11.12 proof-script.el
6--- generic/proof-script.el     5 May 2011 09:18:23 -0000       11.12
7+++ generic/proof-script.el     12 May 2011 13:52:48 -0000
8@@ -1897,6 +1897,7 @@
9   (if (proof-only-whitespace-to-locked-region-p)
10       (error
11         "At end of the locked region, nothing to do to!"))
12+  (proof-activate-scripting nil 'advancing)
13   (let ((semis (save-excursion
14                 (skip-chars-backward " \t\n"
15                                      (proof-queue-or-locked-end))
16@@ -1933,6 +1934,7 @@
17                   (eq (match-end 0) nwsp)))
18        (insert proof-terminal-string)
19        (setq ins t))
20+      (proof-activate-scripting nil 'advancing)
21       (let* ((pos
22              (if proof-electric-terminator-noterminator (1- (point)) (point)))
23             (semis
24@@ -1957,7 +1959,7 @@
25 We also delete help spans which appear in the same region (in the expectation
26 that these may be overwritten)."
27   (assert semis nil "proof-assert-semis: argument must be a list")
28-  (proof-activate-scripting nil 'advancing)
29+  ;(proof-activate-scripting nil 'advancing)
30   (let ((startpos  (proof-queue-or-locked-end))
31        (lastpos   (nth 2 (car semis)))
32        (vanillas  (proof-semis-to-vanillas semis displayflags)))