diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 19:15:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 19:15:13 +0000 |
commit | d3e89e8ee15d28fa0c3f42eb059eb7feb748fa6b (patch) | |
tree | c7d79ea660be4bdcf1851f575557cb93b8faeda3 /generic/proof-script.el | |
parent | 2aa3f62aeb888206c337035f10cd9fb58abb67cc (diff) |
Autosend: don't autosend after undoing; add proof-shell-last-queuemode to support this.
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? |