diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index cc1bce92..8dbf2d14 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2130,7 +2130,8 @@ up to the end of the locked region." (funcall proof-find-and-forget-fn target) delete-region)))) - (proof-start-queue (min start end) (proof-unprocessed-begin) actions))) + (proof-start-queue (min start end) (proof-unprocessed-begin) + actions 'retracting))) ;; FIXME da: I would rather that this function moved point to ;; the start of the region retracted? |