diff options
author | 2011-05-16 15:08:34 +0000 | |
---|---|---|
committer | 2011-05-16 15:08:34 +0000 | |
commit | b7c2185ba7eec3a68c7e49f114eddf5ba92eb594 (patch) | |
tree | d42c08ccb977ee7999d33bc8a8ada227328478f0 /generic | |
parent | 4f2af4bbf4ebc0c0ec3113c679123e77c74bfc3a (diff) |
Patch for Trac#400.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e445c525..90250753 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1897,6 +1897,7 @@ Assumes that point is at the end of a command." (if (proof-only-whitespace-to-locked-region-p) (error "At end of the locked region, nothing to do to!")) + (proof-activate-scripting nil 'advancing) (let ((semis (save-excursion (skip-chars-backward " \t\n" (proof-queue-or-locked-end)) @@ -1933,6 +1934,7 @@ comment, and insert or skip to the next semi)." (eq (match-end 0) nwsp))) (insert proof-terminal-string) (setq ins t)) + (proof-activate-scripting nil 'advancing) (let* ((pos (if proof-electric-terminator-noterminator (1- (point)) (point))) (semis @@ -1955,9 +1957,9 @@ comment, and insert or skip to the next semi)." SEMIS must be a non-empty list, in reverse order (last position first). We assume that the list is contiguous and begins at (proof-queue-or-locked-end). We also delete help spans which appear in the same region (in the expectation -that these may be overwritten)." +that these may be overwritten). +This function expects the buffer to be activated for advancing." (assert semis nil "proof-assert-semis: argument must be a list") - (proof-activate-scripting nil 'advancing) (let ((startpos (proof-queue-or-locked-end)) (lastpos (nth 2 (car semis))) (vanillas (proof-semis-to-vanillas semis displayflags))) |