1 | Index: generic/proof-script.el |
---|
2 | =================================================================== |
---|
3 | RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-script.el,v |
---|
4 | retrieving revision 11.12 |
---|
5 | diff -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))) |
---|